aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/interface
Commit message (Expand)AuthorAge
* Infix (r12268 continued)Gravatar herbelin2009-08-11
* Cleaning of Nametab continued + fixed a compilation bug in previous commit.Gravatar herbelin2009-08-06
* - Cleaning phase of the interfaces of libnames.ml and nametab.mlGravatar herbelin2009-08-06
* Added "etransitivity".Gravatar herbelin2009-08-03
* Improved parameterization of Coq:Gravatar herbelin2009-08-02
* Remove the barely-used/obsolete/undocumented syntax "conditional <tac> rewrite"Gravatar letouzey2009-07-24
* Use the proper unification flags in e_exact. This makes exact fail a bitGravatar msozeau2009-07-09
* Miscellaneous practical commits: Gravatar herbelin2009-06-29
* Fixing bug 2110 (tactic "refine" was calling (co)mutual_fix with index 0Gravatar herbelin2009-06-06
* - Cleaning (unification of ML names, removal of obsolete code,Gravatar herbelin2009-04-27
* Rewrite of Program Fixpoint to overcome the previous limitations: Gravatar msozeau2009-03-28
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 20:43:39 +0000