aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2008-08-18Renaming parser -> coq-parserglondu
2008-08-16Install csdpcert with librariesglondu
2008-08-16Mind environment variables in (generated) coq_config.mlglondu
2008-08-16Fix build/install failures when ocamlopt is not availableglondu
2008-08-12Add coqide manpage (taken from Debian)glondu
2008-08-08Various fixes in manpagesglondu
2008-08-07Suite commit #11311notin
2008-08-07micromega : bug fixes and optimisationsfbesson
2008-08-07eviter redondance du message d'erreur (Error while reading / File)barras
2008-08-07coqc: warning de l'option -dump-glob (unused case)barras
2008-08-06Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + suppressi...notin
2008-08-06Add lemmas on lists: nth_default_eq, map_nth_errorglondu
2008-08-06correction : coqart is already publishedjnarboux
2008-08-05Correction de bugs:herbelin
2008-08-05Correction bug de filtrage sous-terme #1920 introduit dans commitherbelin
2008-08-05Suite 11187 et 11298 : ne retarder le dépliage d'une projectionherbelin
2008-08-04Report des commits 11297 et 11299 (nom Unnamed_theorem local caché parherbelin
2008-08-04Évolutions diverses et variées.herbelin
2008-07-31Corrige un bug du commit 11187 (le comportement à respecter étaitherbelin
2008-07-29Oops... the trunk behaviour is differentglondu
2008-07-29Update test-suite outputglondu
2008-07-29Typo in docglondu
2008-07-29Backport r11289.msozeau
2008-07-28Fix typoglondu
2008-07-28Use COQINSTALLPREFIX for doc tooglondu
2008-07-28Fix bashism in test-suite/checkglondu
2008-07-28Remove pcoq from check prerequisitesglondu
2008-07-28Fixes in generalize_eqs/dependent induction to allow the user to specifymsozeau
2008-07-28Fix wrong environment bug in test for setoid_rewrite or rewrite.msozeau
2008-07-28Fix bug in term dnet preventing some unifications. Allow "higher-order"msozeau
2008-07-28Show configure choice for browser in CoqIDE preferencesglondu
2008-07-27Now, -browser option is effective (and compiles)glondu
2008-07-27(Partially) Revert previous commit because of FTBFSglondu
2008-07-27Add -browser option to configure scriptglondu
2008-07-27Oups (on refait le 11268 en mieux)herbelin
2008-07-26Even better test for choosing rewrite or setoid_rewrite.msozeau
2008-07-26- Pour CoRN, rétablissement notations Qgt/Qge (mais cette fois avecherbelin
2008-07-25Suite 11266 (warning tools/gallina.ml)herbelin
2008-07-25Correction d'une incohérence de typage des inductifs polymorphes: lesherbelin
2008-07-25Fixed bug #1904 (instances of evars were no longer substituted sinceherbelin
2008-07-25A better test for relations being setoids or not: do leibniz rewrite iffmsozeau
2008-07-25More compatibility fixes, revert the tauto fix that preventedmsozeau
2008-07-24Tauto breaking not only binary "conjunctions" seems like a bad ideamsozeau
2008-07-24A (safe) implementation of prolog's cut in the typeclasses eauto to avoidmsozeau
2008-07-24Fix bug #1913, checking for unresolved evars which aren't obligations.msozeau
2008-07-24fixed loop in dependency fold of the checkerbarras
2008-07-24moved magic numbers to configure (share coq/coqchk)barras
2008-07-24broke cyclic dependenciesbarras
2008-07-24Suite commit 11236notin
2008-07-24Propagation de l'information "strict" (càd à toplevel ou en train deherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 06:08:57 +0000