aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* 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
* config/revision.ml, git: handle case when not at tip of a branchGravatar lmamane2009-02-11
* clean: revision is now called config/revision.mlGravatar lmamane2009-02-11
* Convert all uses of FIND_VCS_CLAUSE to recommended styleGravatar lmamane2009-02-11
* Cyclic31: proof of a forgotten admitGravatar letouzey2009-02-10
* removed prehistoric filesGravatar barras2009-02-10
* man page of coqchkGravatar barras2009-02-10
* Correction bug coqdev Hermann lehener.Gravatar soubiran2009-02-10
* commited complexity test for exponential behavior of unificationGravatar barras2009-02-09
* memoized is_ground_envGravatar barras2009-02-09
* pushed evar reduction in kernelGravatar barras2009-02-06
* Fixed bug #2036 (wrong copy-paste in RIneq) [copy of 11887 in branch v8.2]Gravatar herbelin2009-02-06
* Fixing #2044 (bad printing of primitive notation at the head ofGravatar herbelin2009-02-06
* From v8.2 to trunk:Gravatar herbelin2009-02-06
* Fix [subrelation] clauses that privileged the weakest. Better impl argsGravatar msozeau2009-02-04
* Report r11631 from 8.2 and handle non-dependent goals better inGravatar msozeau2009-02-04
* Fix d'un bug avec l'option gallinaGravatar notin2009-02-04
* Do not reserve the keyword "Infer".Gravatar puech2009-02-03
* Allow to turn contrib/subtac into a (nat)dynlink'able pluginGravatar letouzey2009-02-03
* Fix the installation of plugins (both initial and late ones)Gravatar letouzey2009-02-03
* Reorder coqmktop options and document -echoGravatar glondu2009-01-31
* More portable way to pipe stderrGravatar glondu2009-01-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 08:28:15 +0000