aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.common
Commit message (Expand)AuthorAge
* Définition de GRAMMARCMA: parsing/grammar.cma n'était plus installé, ce qu...Gravatar notin2010-03-19
* Makefile: some more cleanupGravatar letouzey2010-03-05
* Makefile: no more separate stagesGravatar letouzey2010-03-04
* Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)Gravatar letouzey2010-03-04
* make init + NMake.v/NMake_gen.vGravatar notin2010-01-26
* * Segmenttree: New. A very simple implementation of segment trees.Gravatar regisgia2010-01-08
* * Rewrite [classify_unicode] using standard unicode tables.Gravatar regisgia2009-12-20
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09
* integrate MSetToFiniteSet into the compilation (and fix it)Gravatar letouzey2009-12-08
* Remove interface pluginGravatar glondu2009-12-02
* install manpage of coqchkGravatar barras2009-12-01
* Simplification of Numbers, mainly thanks to IncludeGravatar letouzey2009-11-10
* Numbers: finish files NStrongRec and NDefOpsGravatar letouzey2009-11-06
* ROrderedType + Rminmax : Coq's Reals can be seen as OrderedType.Gravatar letouzey2009-11-03
* OrderedType implementation for various numerical datatypes + min/max structuresGravatar letouzey2009-11-03
* FSetCompat: a compatibility wrapper between FSets and MSetsGravatar letouzey2009-10-20
* Merge SetoidList2 into SetoidList.Gravatar letouzey2009-10-19
* Structure/OrderTac.v : highlight the "order" tactic by isolating it from FSet...Gravatar letouzey2009-10-16
* MSets: a new generation of FSetsGravatar letouzey2009-10-13
* Fixed installation of Coqide interface/library files (bug #2147).Gravatar gmelquio2009-10-06
* Remove useless MonoList.vGravatar glondu2009-09-17
* - Tentatively made order-dependency wrt .vo files a full dependencyGravatar herbelin2009-09-15
* Addendum to revision 12323; update Makefile.common after removal ofGravatar herbelin2009-09-11
* git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 85f007b7-540e-0...Gravatar fbesson2009-08-25
* Delegate _all_ doc targets to stage2Gravatar lmamane2009-08-25
* Parsing files for numerals (+ ascii/string) moved into pluginsGravatar letouzey2009-03-27
* make coqdep_boot in stage1, not stage2Gravatar lmamane2009-03-25
* ocamlbuild improvements + minor makefile fixGravatar letouzey2009-03-24
* pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)Gravatar letouzey2009-03-24
* 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
* missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...Gravatar barras2009-03-16
* coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...Gravatar letouzey2009-03-16
* Makefile: fix ignored errors, several attempts to clarify thingsGravatar letouzey2009-03-16
* Makefile: minor improvementsGravatar letouzey2009-03-16
* Better mechanism for loading initial pluginsGravatar letouzey2009-03-14
* Makefile: ml dependencies of contribs are moved to .mllib filesGravatar letouzey2009-03-14
* - per session coq command stackGravatar vgross2009-03-07
* ajout de la tactique groebner de Loic PottierGravatar barras2009-03-05
* porting r11900 11905 and 11953 to trunkGravatar barras2009-03-02
* Heavy modifications on the widget and edition tab creation mechanism.Gravatar vgross2009-03-02
* Makefile: avoid building an empty contrib.cmxaGravatar letouzey2009-02-27
* CoqInterface.vo in CONTRIBVO (should fix a dependency issue)Gravatar letouzey2009-02-20
* coq-interface and coq-parser can be calls to coqtop with adequate code dynlinkGravatar letouzey2009-02-20
* Backport of 11890 from branch v8.2 (compile tools with the bestGravatar herbelin2009-02-11
* Fix de divers petits problèmes d'installationGravatar 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 20:49:27 +0000