index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
Commit message (
Expand
)
Author
Age
*
comparison functions on lists and arrays
barras
2009-04-16
*
Some dead code removal + cleanups
letouzey
2009-04-08
*
A first pearl found by the Oug analyzer: there were two list_map_i in Util
letouzey
2009-04-08
*
Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey
2009-03-20
*
Timeout message was not always displayed
barras
2009-03-04
*
Heavy modifications on the widget and edition tab creation mechanism.
vgross
2009-03-02
*
Gestion des espaces dans les noms + guess_coqlib sous Windows
notin
2009-02-11
*
Fix d'un problème lors de l'appel à coqtop avec un chemin relatif
notin
2009-02-11
*
memoized is_ground_env
barras
2009-02-09
*
- Fixed various Overfull in documentation.
herbelin
2009-01-27
*
Petit nettoyage faisant suite au commit #11847 .
aspiwack
2009-01-23
*
Util.split_at : for quadratic to linear complexity
letouzey
2009-01-22
*
Experimental file commited by mistake, sorry.
herbelin
2009-01-19
*
Backporting from v8.2 to trunk:
herbelin
2009-01-18
*
DISCLAIMER
puech
2009-01-17
*
Remove trailing newlines in outputs of X -where
glondu
2009-01-08
*
Made the debugger work again:
herbelin
2009-01-02
*
- Fixed bugs and compatibilities issues in
herbelin
2008-12-30
*
- Another bug in get_sort_family_of (sort-polymorphism of constants and
herbelin
2008-12-28
*
- coq_makefile: target install now respects the original tree structure
herbelin
2008-12-24
*
Nettoyage des variables Coq et amélioration de coqmktop. Les
notin
2008-12-19
*
Add some unicode symbols from japanese CJC (request by Y. Regis-Gianas)
letouzey
2008-12-15
*
eventually fixing r11612
barras
2008-11-24
*
Fixed bug in VernacExtend printing + missing vernacular printing rules +
herbelin
2008-11-22
*
- Fixed minor bug #1994 in the tactic chapter of the manual [doc]
herbelin
2008-11-22
*
fixed problem with r11612
barras
2008-11-21
*
Better extraction renaming phase (fix #1914 plus other non-reported bugs)
letouzey
2008-11-05
*
Adaptation to ocaml 3.11 new semantics of String.index_from (see bug #1974)
herbelin
2008-11-04
*
- Fixed many "Theorem with" bugs.
herbelin
2008-10-27
*
Open notation for declaring record instances.
msozeau
2008-10-23
*
Affichage des notations récursives:
herbelin
2008-10-22
*
avoid small overflows
barras
2008-09-02
*
Évolutions diverses et variées.
herbelin
2008-08-04
*
Now, -browser option is effective (and compiles)
glondu
2008-07-27
*
(Partially) Revert previous commit because of FTBFS
glondu
2008-07-27
*
Add -browser option to configure script
glondu
2008-07-27
*
Suite commit 11236
notin
2008-07-24
*
Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...
notin
2008-07-18
*
Quelques modifications autour du filtrage Ltac:
herbelin
2008-07-16
*
Fixes in handling of implicit arguments:
msozeau
2008-07-04
*
Fichiers oubliés lors du 11188 :-(
herbelin
2008-06-30
*
Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...
notin
2008-06-25
*
Suppression de l'option -dump-glob et ajout d'une option -no-glob
notin
2008-06-24
*
- Correction de la version simplifiée (filtrage sur deux sig
herbelin
2008-06-09
*
- Documentation de admit et Print Assumptions.
herbelin
2008-06-09
*
- Extension de "generalize" en "generalize c as id at occs".
herbelin
2008-06-08
*
Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematical
herbelin
2008-06-06
*
- Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"
herbelin
2008-05-30
*
debug : case where length of s is < 2...
jnarboux
2008-05-28
*
debug subst_command_placeholder : replace %s and not only %
jnarboux
2008-05-26
[next]