aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Coqdep: remove references to obsolete .zi and Require Implementation stuffGravatar letouzey2009-03-14
* Cleanup: avoid the warning about Coq-tex not being a valid Ocaml module nameGravatar letouzey2009-03-11
* Cleanup: remove unused config/giveostype.mlGravatar letouzey2009-03-11
* Cleanup: remove 3 unused files in ide/Gravatar letouzey2009-03-11
* Cleanup: remove old correctness files, unused for a long timeGravatar letouzey2009-03-11
* in natdynlink, lack of uniformity between general %.vo and Init/%.vo rules re...Gravatar barras2009-03-09
* Optionally list opaque constants in addition to axions/variables inGravatar msozeau2009-03-09
* - per session coq command stackGravatar vgross2009-03-07
* fixed groebner as a plugin + pattern matching TimeoutGravatar barras2009-03-06
* missing RequireGravatar barras2009-03-06
* oups (module Entiers remplace par Big_int)Gravatar barras2009-03-06
* ajout de la tactique groebner de Loic PottierGravatar barras2009-03-05
* illegal tactic application was having Ltac interpreter loopGravatar barras2009-03-04
* doc et CHANGES pour la commande TimeoutGravatar barras2009-03-04
* removed unused state fileGravatar barras2009-03-04
* Timeout message was not always displayedGravatar barras2009-03-04
* commande Timeout + compaction des traces de debug_tacticGravatar barras2009-03-04
* Backtrack sur la mémoïsation de nf_evar.Gravatar aspiwack2009-03-04
* Temporary hack to make coqide.byte work (backport r11948) (see #2062)Gravatar glondu2009-03-04
* fixes to typecheck with old lablgtk.Gravatar vgross2009-03-04
* Hack to fix compilation problems. will be removed on lablgtk upgrade.Gravatar vgross2009-03-03
* porting r11900 11905 and 11953 to trunkGravatar barras2009-03-02
* Heavy modifications on the widget and edition tab creation mechanism.Gravatar vgross2009-03-02
* =?utf-8?q?Tentative=20d'optimisation=20(en=20temps)=20sur=20[nf=5Fevar]=20et=...Gravatar aspiwack2009-02-27
* extraction: update of README+CHANGES, rm of BUGS+TODOGravatar letouzey2009-02-27
* Makefile: avoid building an empty contrib.cmxaGravatar letouzey2009-02-27
* Amélioration de coq_makefileGravatar notin2009-02-24
* Add support for dependent "destruct" over terms in dependent types.Gravatar herbelin2009-02-23
* CoqInterface.vo in CONTRIBVO (should fix a dependency issue)Gravatar letouzey2009-02-20
* On passe les last_mods (un des champs de Evd.evar_defs) de listGravatar aspiwack2009-02-20
* On ne met plus rien dans les last_mods tant que conv_pbs est vide.Gravatar aspiwack2009-02-20
* coq-interface and coq-parser can be calls to coqtop with adequate code dynlinkGravatar letouzey2009-02-20
* On remplace evar_map par evar_defs (seul evar_defs est désormais exporté Gravatar aspiwack2009-02-19
* maj de la faq: correction de l'exemple field qui compilait plus en 8.2, corre...Gravatar jnarboux2009-02-17
* #rectypes was already automatically added when using 3.11Gravatar herbelin2009-02-17
* Made hack to have Drop and #use"include" working with ocaml 3.10 publicGravatar herbelin2009-02-17
* report de r11926: install de coqchkGravatar barras2009-02-16
* Fix [apply_in] which short-circuited resolution of evars in a customGravatar msozeau2009-02-16
* Bug 2050, commit v8.2 11923-11924 ---> trunkGravatar soubiran2009-02-13
* Backport of 11890 from branch v8.2 (compile tools with the bestGravatar herbelin2009-02-11
* Gestion des espaces dans les noms + guess_coqlib sous WindowsGravatar notin2009-02-11
* Nouvelle icône pour CoqGravatar notin2009-02-11
* Fix d'un petit problème de chemin sous WindowsGravatar notin2009-02-11
* Fix de divers petits problèmes d'installationGravatar notin2009-02-11
* Fix d'un problème lors de l'appel à coqtop avec un chemin relatifGravatar notin2009-02-11
* Modification du style du manuel de référenceGravatar notin2009-02-11
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11
* A few fixes for bug #2032 (backport r11857)Gravatar glondu2009-02-11
* Add -coqtoolsbyteflags and -custom to ./configure...Gravatar glondu2009-02-11
* Document how FIND_VCS_CLAUSE has to be usedGravatar lmamane2009-02-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-16 06:52:02 +0000