aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* 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
* Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...Gravatar notin2008-06-25
* Suppression de l'option -dump-glob et ajout d'une option -no-globGravatar notin2008-06-24
* - Correction de la version simplifiée (filtrage sur deux sigGravatar herbelin2008-06-09
* - Documentation de admit et Print Assumptions.Gravatar herbelin2008-06-09
* - Extension de "generalize" en "generalize c as id at occs".Gravatar herbelin2008-06-08
* Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematicalGravatar herbelin2008-06-06
* - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"Gravatar herbelin2008-05-30
* debug : case where length of s is < 2...Gravatar jnarboux2008-05-28
* debug subst_command_placeholder : replace %s and not only %Gravatar jnarboux2008-05-26