| Age | Commit message (Expand) | Author |
|---|
| 2010-03-11 | introduced lazy computation of size info in the guard condition | barras |
| 2010-03-11 | Update manual on search commands | puech |
| 2010-03-11 | Minimal test suite for search commands | puech |
| 2010-03-11 | fix [Search] when the result has no hypothesis & constant comparison | puech |
| 2010-03-11 | No delta-reduction in libtypes anymore | puech |
| 2010-03-11 | Filter out "_subproof" objects from search results | puech |
| 2010-03-10 | NMake: remove useless tactics abstract_pair, nicer comments | letouzey |
| 2010-03-10 | NMake: Reorganization, interface for NMake_gen, explicit View, tactic destr_t... | letouzey |
| 2010-03-10 | NMake_gen.ml: robustness w.r.t size, remove old commented stuff about shiftl | letouzey |
| 2010-03-08 | Consider OccurCheck a catchable exception. | msozeau |
| 2010-03-08 | Application des patches envoyés par F. Besson pour micromega | notin |
| 2010-03-07 | Reorder resolution of type class and unification constraints. | msozeau |
| 2010-03-07 | Fix lifting of constraints in generalized rewriting tactic. | msozeau |
| 2010-03-07 | Fix treatment of remaining unification constraints: raise a more | msozeau |
| 2010-03-06 | Fixes in rewrite and a Elimination/Case to Scheme: | msozeau |
| 2010-03-06 | Adding Function as keyword for coqdoc | thery |
| 2010-03-05 | Makefile: some more cleanup | letouzey |
| 2010-03-05 | Minor fixes. | msozeau |
| 2010-03-05 | Improvements in generalized rewriting: | msozeau |
| 2010-03-05 | Fix [autounfold] to accept general [in] clauses. | msozeau |
| 2010-03-05 | Add a generic tactic option builder. Use it in firstorder to set the | msozeau |
| 2010-03-04 | Makefile: a nicer hack concerning ocamlopt with no .mli: -intf-suffix .cmi (t... | letouzey |
| 2010-03-04 | Makefile: cleanup of comments + a few words about recent changes in dev/doc/b... | letouzey |
| 2010-03-04 | Makefile: no more separate stages | letouzey |
| 2010-03-04 | Coqdep_boot: when emultating ocamldep, avoid outputting empty answer | letouzey |
| 2010-03-04 | Makefile: try to avoid rare make failures related with make -j + ocamlopt + .cmi | letouzey |
| 2010-03-04 | Makefile: cleanup of variables containing lists of files, such as MLFILES | letouzey |
| 2010-03-04 | Makefile: make devdocclean was not removing *.dep.ps, btw let's remove *.dep.... | letouzey |
| 2010-03-04 | Makefile: factorization of default rules for .cmi/.cmo/.cmx | letouzey |
| 2010-03-04 | Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form) | letouzey |
| 2010-03-04 | Makefile: hide the trick ...||(RV=$$?;rm $@; exit $${RV}) under a macro $(TOT... | letouzey |
| 2010-03-01 | amelioration mineure dans Function | jforest |
| 2010-02-26 | New backtracking code + fix bug #2082. | vgross |
| 2010-02-26 | Introducing a dual stack setup | vgross |
| 2010-02-26 | New API for backtracking. | vgross |
| 2010-02-26 | Redispatch of printing tweaking hooks. | vgross |
| 2010-02-26 | Some more adaptations for Debian-->mingw32 | letouzey |
| 2010-02-26 | Slight reorganisation of make clean, new entry cleankeepvo | letouzey |
| 2010-02-26 | Coqc: on win32, let's call coqtop.exe by default, not coqtop.opt.exe | letouzey |
| 2010-02-26 | Correction du bug #2214 + maj liens web | notin |
| 2010-02-25 | mingw32 cross-compilation: coqide.exe as a GUI program, nicer ./build script | letouzey |
| 2010-02-25 | ide/coq_lex.ml in .gitignore | letouzey |
| 2010-02-25 | Enabled natdynlink hack on Mac OS 10.6 | thutchin |
| 2010-02-25 | In the git-specific part of Makefile.build, call to hostname gave option | thutchin |
| 2010-02-25 | Various fixes in interp, session switching and backtracking | vgross |
| 2010-02-25 | Changes in lexing and tagging. | vgross |
| 2010-02-25 | Ignoring .spit/.spot files from OCamlSpotter | thutchin |
| 2010-02-24 | Win32 cross-compilation from debian: build of coqide.exe and other binaries | letouzey |
| 2010-02-24 | correction of bug #2088 | jforest |
| 2010-02-22 | Improve unification when evars and metas are mixed. | msozeau |
