aboutsummaryrefslogtreecommitdiff
path: root/Makefile.common
AgeCommit message (Expand)Author
2010-01-08* Segmenttree: New. A very simple implementation of segment trees.regisgia
2009-12-20* Rewrite [classify_unicode] using standard unicode tables.regisgia
2009-12-09Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...letouzey
2009-12-08integrate MSetToFiniteSet into the compilation (and fix it)letouzey
2009-12-02Remove interface pluginglondu
2009-12-01install manpage of coqchkbarras
2009-11-10Simplification of Numbers, mainly thanks to Includeletouzey
2009-11-06Numbers: finish files NStrongRec and NDefOpsletouzey
2009-11-03ROrderedType + Rminmax : Coq's Reals can be seen as OrderedType.letouzey
2009-11-03OrderedType implementation for various numerical datatypes + min/max structuresletouzey
2009-10-20FSetCompat: a compatibility wrapper between FSets and MSetsletouzey
2009-10-19Merge SetoidList2 into SetoidList.letouzey
2009-10-16Structure/OrderTac.v : highlight the "order" tactic by isolating it from FSet...letouzey
2009-10-13MSets: a new generation of FSetsletouzey
2009-10-06Fixed installation of Coqide interface/library files (bug #2147).gmelquio
2009-09-17Remove useless MonoList.vglondu
2009-09-15- Tentatively made order-dependency wrt .vo files a full dependencyherbelin
2009-09-11Addendum to revision 12323; update Makefile.common after removal ofherbelin
2009-08-25git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 85f007b7-540e-0...fbesson
2009-08-25Delegate _all_ doc targets to stage2lmamane
2009-03-27Parsing files for numerals (+ ascii/string) moved into pluginsletouzey
2009-03-25make coqdep_boot in stage1, not stage2lmamane
2009-03-24ocamlbuild improvements + minor makefile fixletouzey
2009-03-24pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)letouzey
2009-03-20Many changes in the Makefile infrastructure + a beginning of ocamlbuildletouzey
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2009-03-16missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...barras
2009-03-16coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...letouzey
2009-03-16Makefile: fix ignored errors, several attempts to clarify thingsletouzey
2009-03-16Makefile: minor improvementsletouzey
2009-03-14Better mechanism for loading initial pluginsletouzey
2009-03-14Makefile: ml dependencies of contribs are moved to .mllib filesletouzey
2009-03-07- per session coq command stackvgross
2009-03-05ajout de la tactique groebner de Loic Pottierbarras
2009-03-02porting r11900 11905 and 11953 to trunkbarras
2009-03-02Heavy modifications on the widget and edition tab creation mechanism.vgross
2009-02-27Makefile: avoid building an empty contrib.cmxaletouzey
2009-02-20CoqInterface.vo in CONTRIBVO (should fix a dependency issue)letouzey
2009-02-20coq-interface and coq-parser can be calls to coqtop with adequate code dynlinkletouzey
2009-02-11Backport of 11890 from branch v8.2 (compile tools with the bestherbelin
2009-02-11Fix de divers petits problèmes d'installationnotin
2009-02-11Modification du style du manuel de référencenotin
2009-02-11Report des revisions #11826, #11828 et #11829 de v8.2 vers trunknotin
2009-02-03Allow to turn contrib/subtac into a (nat)dynlink'able pluginletouzey
2009-02-03Fix the installation of plugins (both initial and late ones)letouzey
2009-01-22Remplacement de cp --parents par un script shnotin
2009-01-18Backporting from v8.2 to trunk:herbelin
2009-01-18Getting rid of the previous implementation of setoid_rewrite which wasmsozeau
2009-01-17DISCLAIMERpuech
2009-01-13Workaround to compile the coq archive with dynamic loading on Mac OS 10.5herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 05:04:48 +0000