aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Made the emacs-U option deprecated. Also removed the old codeGravatar courtieu2011-05-24
* Remove useless "open Gc"Gravatar glondu2011-05-19
* Remove System.process_time (dead code)Gravatar glondu2011-05-19
* More work on error handlingGravatar letouzey2011-05-17
* A new mechanism to handle errors.Gravatar aspiwack2011-05-13
* Choose relative directory over configured directory for coqlib.Gravatar pboutill2011-04-29
* coqtop -config returns coq returns coq environments at exection timeGravatar pboutill2011-04-28
* Win32: remove the need for Coq.bat and Coqide.batGravatar letouzey2011-04-21
* Add directories in COQPATH to search path.Gravatar herbelin2011-04-14
* Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksGravatar letouzey2011-04-03
* Starting being more explicit on the reasons why module subtyping fails.Gravatar herbelin2011-03-05
* - Fix treatment of globality flag for typeclass instance hints (theyGravatar msozeau2011-02-14
* An generic imperative union-find, used for deps of evars in Class_tacticsGravatar letouzey2011-02-11
* A fine-grain control of inlining at functor application via priority levelsGravatar letouzey2011-01-31
* Remove the "Boxed" syntaxes and the const_entry_boxed fieldGravatar letouzey2011-01-28
* Fix compilation with camlp5 (Closes: #2487)Gravatar glondu2011-01-25
* Remove Safe_marshalGravatar glondu2011-01-06
* Avoid "open {Pcoq,Extrawit}" clauses in expansion of EXTEND commandsGravatar glondu2010-12-25
* Use !Pp_control.std_ft for printing grammarsGravatar glondu2010-12-06
* Remove dead codeGravatar glondu2010-12-03
* adapt slighlty r13642 to support both camlp4 and camlp5-5 and camlp5-6Gravatar letouzey2010-11-18
* Support for camlp5 6.02.0 (Closes: #2432)Gravatar glondu2010-11-16
* Added multiple implicit arguments rules per name.Gravatar herbelin2010-10-03
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* Addressing part 2 of bug report 2377 (removing intrusive warning whenGravatar herbelin2010-09-19
* Coqdep_boot : misc improvementsGravatar letouzey2010-09-17
* * By default, load proof terms.Gravatar regisgia2010-08-31
* * lib/Flags: Replace dont_load_proofs by load_proofs since not loadingGravatar regisgia2010-08-27
* Rather quick hack to make basic unicode notations available byGravatar herbelin2010-07-29
* Fixed a bug introduced (r13316/r13329) in the printing of notationsGravatar herbelin2010-07-29
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Constrintern: unified push_name_env and push_loc_name_env; madeGravatar herbelin2010-07-22
* Fixed a bug in list_forall2eq (wrong exception was caught).Gravatar herbelin2010-07-20
* Remove dependency to Unix from module ProfileGravatar glondu2010-07-02
* Move [delayed] to util and use [force_delayed] everywhere to forceGravatar msozeau2010-06-30
* New script dev/tools/change-header to automatically update Coq files headers.Gravatar herbelin2010-06-22
* Protection against anomaly when loading a state with bad magic number.Gravatar herbelin2010-06-22
* Extraction: replace unicode characters in ident by ascii encodings (fix #2158...Gravatar letouzey2010-06-21
* Fixing spelling: pr_coma -> pr_commaGravatar herbelin2010-06-12
* Made option "Automatic Introduction" active by default before too manyGravatar herbelin2010-06-08
* Fix treatment of {struct x} annotations in presence of generalizedGravatar msozeau2010-06-08
* restore handling of lexer errorsGravatar letouzey2010-06-01
* CoqIDE goes multiprocessGravatar vgross2010-05-31
* Account for Stephane Glondu's remarks.Gravatar fkirchne2010-05-28
* Use existing functions to reimplement search_exe.Gravatar fkirchne2010-05-28
* 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
* Remove refutpat.ml4, ideal.ml4 is again a normal .ml, let* coded in a naive wayGravatar letouzey2010-05-19
* static (and shared) camlp4use instead of per-file declarationGravatar letouzey2010-05-19
* Discontinue support for ocaml 3.09.*Gravatar letouzey2010-05-19