index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
Makefile
Commit message (
Expand
)
Author
Age
*
Ground major update ... mmm, sounds exciting !
corbinea
2003-06-15
*
dependcoq integre les fichiers de fsets
letouzey
2003-06-14
*
Ground update
corbinea
2003-06-13
*
Ground update, new files.
corbinea
2003-06-13
*
install-fsets
filliatr
2003-06-13
*
FSets, mais pas compile' par make world
filliatr
2003-06-13
*
Module Bij inutilise
herbelin
2003-06-10
*
au lieu de make
monate
2003-06-02
*
moved engine.ml4 to ground.ml4, added option 'Ground Depth'
corbinea
2003-05-26
*
coqide: blaster 2
monate
2003-05-23
*
fabrication de ide/utf8.vo
letouzey
2003-05-23
*
coqide: blaster V1
monate
2003-05-22
*
Concentration des notations officielles dans Init/Notations; restructuration ...
herbelin
2003-05-21
*
Restructutation Hipattern Pattern
herbelin
2003-05-19
*
configure et make install s'occupent de CoqIde tout seuls
filliatr
2003-05-19
*
coqide: .* on start/add \n on eof
monate
2003-05-14
*
coqide: load/save file encoding support/
monate
2003-05-14
*
Nouveaux lemmes (sur proposition de Nijmegen)
herbelin
2003-05-13
*
entréé translation2
herbelin
2003-05-07
*
Ajout ChoiceFacts
herbelin
2003-04-29
*
coqide: search forward
monate
2003-04-28
*
fichier de pref coq IDE en ASCII (ENFIN)
filliatr
2003-04-28
*
Added the Ground tactic.
corbinea
2003-04-25
*
Ajout "at next level" dans Notation
herbelin
2003-04-17
*
BIG MAJ Extraction:
letouzey
2003-04-16
*
coqide: thread bug fix
monate
2003-04-10
*
Coqide : introduction des coprocessus. CoqIde est maintenant interruptible
monate
2003-04-09
*
Ajout option -v8 à coqtopnew pour permettre le changement de comportement de...
herbelin
2003-04-09
*
Globalisation des noms de tactiques dans les définitions de tactiques
herbelin
2003-04-07
*
BEST redondant
herbelin
2003-04-07
*
remplace == par = dans la tactique field pour que le debugger marche a nouvea...
narboux
2003-04-01
*
Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)
herbelin
2003-03-29
*
coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE ...
filliatr
2003-03-17
*
nettoyage dans translate
filliatr
2003-03-17
*
coqide: maj preferences du wizzard
monate
2003-03-14
*
nettoyage dans ide/utils
filliatr
2003-03-14
*
*** empty log message ***
barras
2003-03-14
*
reparations suite a la nouvelle syntaxe:
barras
2003-03-14
*
petites erreurs
barras
2003-03-12
*
* Ajout du traducteur nouvelle syntaxe *
barras
2003-03-12
*
coqide: fenetre de cmmandes . undo correct
monate
2003-03-06
*
coqide: le undo
monate
2003-03-06
*
IDE: menu templates
filliatr
2003-03-05
*
install de coq.png
marche
2003-03-04
*
fichiers sur la ligne de commande passes a Coq IDE
filliatr
2003-03-03
*
coqide: preferences support and optimizations
monate
2003-03-03
*
1.342 par rapport a 1.340 contourne un bug '-pp camlp4o' (version 1.341 corro...
herbelin
2003-02-27
*
Contournement bug '-pp camlp4o'
herbelin
2003-02-27
*
The contribution of Pierre Courtieu on generating specialized induction schemes
bertot
2003-02-27
*
Bringing Linear back to life (Still somewhat buggy).
corbinea
2003-02-24
[next]