index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
macros.tex
Age
Commit message (
Expand
)
Author
2006-02-23
Nettoyage de l'archive doc et restructuration avant intégration à l'archive
herbelin
2004-03-02
Documentation de 'Tactic Notation'
herbelin
2004-02-23
petits bug dans chapitre des modules
barras
2004-01-22
Ajout coercions dans les constructeurs et les declarations
herbelin
2004-01-14
ajout d'une passe de latex our avoir un index correct
barras
2004-01-07
plus derreur hevea/hacha
coq
2004-01-06
doc avec frames
mohring
2004-01-05
correction bugs commit precedent et mise en forme html
coq
2003-12-30
modif generales claude
coq
2003-12-28
MAJ
herbelin
2003-12-23
MAJ
herbelin
2003-12-23
*** empty log message ***
barras
2003-12-23
*** empty log message ***
barras
2003-12-21
mise a jour Cases
mohring
2003-12-19
Correction de la grammaire des intro-patterns
herbelin
2003-12-19
Documentation 'inversion as'
herbelin
2003-12-19
*** empty log message ***
barras
2003-12-19
v8/CIC
mohring
2003-12-18
mise a jour CIC
mohring
2003-12-18
*** empty log message ***
barras
2003-12-15
typographie
marche
2003-12-14
debut de mise a jour CIC
mohring
2003-12-12
N gras, placement figures
marche
2003-12-02
*** empty log message ***
filliatr
2003-12-01
version et style
marche
2003-11-24
coqide
marche
2003-11-23
Ajout/renommage
herbelin
2003-11-21
Ajout entrees
herbelin
2003-02-03
version 7.4
filliatr
2003-01-19
MAJ Ltac
herbelin
2002-10-05
Doc module, premiere version
coq
2002-05-16
MAJ V7.3
herbelin
2001-12-23
MAJ 7.2
herbelin
2001-10-26
MAJ, nettoyage coercions
herbelin
2001-10-02
MAJ V7.1
herbelin
2001-09-26
Divers
herbelin
2001-09-21
Diverses MAJ V7.1 autour des qualid
herbelin
2001-04-09
Ajout syntaxe et regles let-in
herbelin
2001-04-08
Revision Tauto, AutoRewrite + Ajout de Ltac
delahaye
2000-12-16
Ajout \qualid et \module
herbelin
2000-12-15
config avec autoconf
filliatr
2000-12-12
Initial revision
filliatr
2006-03-06
Deplacement du répertoire doc dans dev
notin
1999-09-19
un effort sur la doc (ocamlweb)
filliatr
1999-09-10
affichage des erreurs de typage dans minicoq
filliatr
1999-08-20
programmation literaire : un fichier de description par repertoire
filliatr
1999-08-19
documentation (prog literaire)
filliatr