aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* dev/Makefile.oug: how to run the Oug analyser, for instance for finding dead ...Gravatar letouzey2010-09-24
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Updated COPYRIGHT file and header. Improved and fixed header updater.Gravatar herbelin2010-07-24
* Cleaned a bit the grammar and terminology for binders (see dev/doc/changes.txt).Gravatar herbelin2010-07-22
* Turned off Mac dynlink hack for 10.6.3+ on x86_64Gravatar thutchin2010-07-05
* Made tclABSTRACT normalize evars before saying it does not supportGravatar herbelin2010-06-29
* Names: remove obsolete mod_self_idGravatar letouzey2010-06-23
* New script dev/tools/change-header to automatically update Coq files headers.Gravatar herbelin2010-06-22
* Quick fix for having clenv debug printer working in trunk.Gravatar herbelin2010-06-18
* Fixed commit 13125 (stricter check of induction args): an interpretationGravatar herbelin2010-06-14
* Fixed a bug in pretty-printing "induction" and "destruct" due to aGravatar herbelin2010-06-13
* Fixing spelling: pr_coma -> pr_commaGravatar herbelin2010-06-12
* Added debugging printer for the idmap used at evar definition time forGravatar herbelin2010-06-12
* Backported r13080 (support for open terms in ltac matching) from trunk to v8.3.Gravatar herbelin2010-06-09
* Replace ld by gcc in ocamlopt_shared_os5fix.sh (Closes: #2325)Gravatar glondu2010-06-07
* Updated performance analysis fileGravatar herbelin2010-06-06
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* Nicer representation of tokens, more independant of camlp*Gravatar letouzey2010-05-19
* Improved the efficiency of evars traverals thanks to a split ofGravatar herbelin2010-05-13
* ocamldoc related fixesGravatar pboutill2010-05-03
* "make source-doc" builds documentation of mli in html and pdf atGravatar pboutill2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Here comes the commit, announced long ago, of the new tactic engine.Gravatar aspiwack2010-04-22
* Removing redundant internal variants of apply tactic and simplification of ML...Gravatar herbelin2010-04-14
* Added a function in typing.ml to solve evars of a constr w/o going back down ...Gravatar herbelin2010-04-05
* Makefile: cleanup of comments + a few words about recent changes in dev/doc/b...Gravatar letouzey2010-03-04
* Makefile: make devdocclean was not removing *.dep.ps, btw let's remove *.dep....Gravatar letouzey2010-03-04
* Remove bashismsGravatar glondu2010-01-28
* Added module sharing support for typeclasses and hints (pri_auto_tactic).Gravatar soubiran2010-01-12
* * Segmenttree: New. A very simple implementation of segment trees.Gravatar regisgia2010-01-08
* Few misc. updates.Gravatar herbelin2010-01-04
* In "simpl c" and "change c with d", c can be a pattern.Gravatar herbelin2009-12-24
* * Rewrite [classify_unicode] using standard unicode tables.Gravatar regisgia2009-12-20
* Addition of mergesort + cleaning of the Sorting libraryGravatar herbelin2009-12-13
* Remove interface pluginGravatar glondu2009-12-02
* Remove useless ppevd (which is identical to ppevm)Gravatar glondu2009-11-13
* Promote evar_defs to evar_map (in Evd)Gravatar glondu2009-11-11
* Fixed bug #2168 (closing a section may have as side-effect the erasureGravatar herbelin2009-11-11
* Improving abbreviations/notations + backtrack of semantic change in r12439Gravatar herbelin2009-11-11
* A bit of cleaning around name generation + creation of dedicated file namegen.mlGravatar herbelin2009-11-09
* Fixed "Scheme Equality" when another instance of the scheme on theGravatar herbelin2009-11-08
* Restructuration of command.ml + generic infrastructure for inductive schemesGravatar herbelin2009-11-08
* Improved the treatment of Local/Global options (noneffective Local onGravatar herbelin2009-10-25
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Fixed clash names in Relations (see bug report #2152) and make namesGravatar herbelin2009-10-08
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Mise à jour du document de révision de la stdlib et déplacement de laGravatar herbelin2009-08-14
* Fixed incorrect optimization in Prettyp.pr_located_qualid introducedGravatar herbelin2009-08-07
* - Cleaning phase of the interfaces of libnames.ml and nametab.mlGravatar herbelin2009-08-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 15:02:02 +0000