aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Generalized the possibility to refer to a global name by a notationGravatar herbelin2009-09-11
* Tried to make F1 documentation tool working in CoqIDE.Gravatar herbelin2009-08-14
* - Cleaning phase of the interfaces of libnames.ml and nametab.mlGravatar herbelin2009-08-06
* Use camlp4 to accept some specific non-exhaustive patterns in groebnerGravatar letouzey2009-07-20
* Fixed anomaly when trying to load non existing file starting with "./" or "../".Gravatar herbelin2009-07-08
* Accept more Unicode symbolsGravatar glondu2009-06-10
* - Adding "Hint Resolve ->" and "Hint Resolve <-" for declaration of equivalenceGravatar herbelin2009-05-09
* - Cleaning (unification of ML names, removal of obsolete code,Gravatar herbelin2009-04-27
* comparison functions on lists and arraysGravatar barras2009-04-16
* Some dead code removal + cleanupsGravatar letouzey2009-04-08
* A first pearl found by the Oug analyzer: there were two list_map_i in UtilGravatar letouzey2009-04-08
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* Timeout message was not always displayedGravatar barras2009-03-04
* Heavy modifications on the widget and edition tab creation mechanism.Gravatar vgross2009-03-02
* Gestion des espaces dans les noms + guess_coqlib sous WindowsGravatar notin2009-02-11
* Fix d'un problème lors de l'appel à coqtop avec un chemin relatifGravatar notin2009-02-11
* memoized is_ground_envGravatar barras2009-02-09
* - Fixed various Overfull in documentation.Gravatar herbelin2009-01-27
* Petit nettoyage faisant suite au commit #11847 .Gravatar aspiwack2009-01-23
* Util.split_at : for quadratic to linear complexityGravatar letouzey2009-01-22
* Experimental file commited by mistake, sorry.Gravatar herbelin2009-01-19
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* DISCLAIMERGravatar puech2009-01-17
* Remove trailing newlines in outputs of X -whereGravatar glondu2009-01-08
* Made the debugger work again:Gravatar herbelin2009-01-02
* - Fixed bugs and compatibilities issues in Gravatar herbelin2008-12-30
* - Another bug in get_sort_family_of (sort-polymorphism of constants andGravatar herbelin2008-12-28
* - coq_makefile: target install now respects the original tree structureGravatar herbelin2008-12-24
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Add some unicode symbols from japanese CJC (request by Y. Regis-Gianas)Gravatar letouzey2008-12-15
* eventually fixing r11612Gravatar barras2008-11-24
* Fixed bug in VernacExtend printing + missing vernacular printing rules +Gravatar herbelin2008-11-22
* - Fixed minor bug #1994 in the tactic chapter of the manual [doc]Gravatar herbelin2008-11-22
* fixed problem with r11612Gravatar barras2008-11-21
* Better extraction renaming phase (fix #1914 plus other non-reported bugs)Gravatar letouzey2008-11-05
* Adaptation to ocaml 3.11 new semantics of String.index_from (see bug #1974)Gravatar herbelin2008-11-04
* - Fixed many "Theorem with" bugs.Gravatar herbelin2008-10-27
* Open notation for declaring record instances.Gravatar msozeau2008-10-23
* Affichage des notations récursives:Gravatar herbelin2008-10-22
* avoid small overflowsGravatar barras2008-09-02
* Évolutions diverses et variées.Gravatar herbelin2008-08-04
* Now, -browser option is effective (and compiles)Gravatar glondu2008-07-27
* (Partially) Revert previous commit because of FTBFSGravatar glondu2008-07-27
* Add -browser option to configure scriptGravatar glondu2008-07-27
* Suite commit 11236Gravatar notin2008-07-24
* Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...Gravatar notin2008-07-18
* Quelques modifications autour du filtrage Ltac:Gravatar herbelin2008-07-16
* Fixes in handling of implicit arguments:Gravatar msozeau2008-07-04
* Fichiers oubliés lors du 11188 :-(Gravatar herbelin2008-06-30