| Commit message (Expand) | Author | Age |
|---|
| ... | |
| * | 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-04 |
| * | amelioration mineure dans Function |  jforest | 2010-03-01 |
| * | 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-26 |
| * | 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-25 |
| * | Win32 cross-compilation from debian: build of coqide.exe and other binaries | letouzey | 2010-02-24 |
| * | correction of bug #2088 | jforest | 2010-02-24 |
| * | Improve unification when evars and metas are mixed. |  msozeau | 2010-02-22 |
| * | added validation of delta_resolver (which seem to have an impact on typing) |  barras | 2010-02-19 |
| * | [checker] fixed vo validation problems, module incompatibilities remain | barras | 2010-02-19 |
| * | Fixing compilation issues | vgross | 2010-02-19 |
| * | Removed redundant and ill-named technical lemma. |  gmelquio | 2010-02-18 |
| * | Removed SeqProp's dependency on Classical. | gmelquio | 2010-02-18 |
| * | Removed Rtrigo's dependency on Classical. | gmelquio | 2010-02-18 |
| * | Fixing modules names. | vgross | 2010-02-18 |
| * | Experimental build of coqtop.exe + plugins via cross-compilation linux-->win32 | letouzey | 2010-02-18 |
| * | Adding uim files | vgross | 2010-02-18 |
| * | Polishing the setup of CoqIDE Input Method | vgross | 2010-02-18 |
| * | Removed Rseries' dependency on Classical. | gmelquio | 2010-02-17 |
| * | RelationClasses: adapt eq_Reflexive and co to avoid Universe Inconsistencies | letouzey | 2010-02-17 |
| * | Kill some useless dependencies (Bvector, Program.Syntax) | letouzey | 2010-02-17 |
| * | Arith's min and max placed in Peano (+basic specs max_l and co) | letouzey | 2010-02-17 |
| * | Removed Rlimit's dependency on Classical. | gmelquio | 2010-02-17 |
| * | Removed Rderiv's dependency on Classical. | gmelquio | 2010-02-17 |
| * | Compute the correct generalization information when discharging a class | msozeau | 2010-02-16 |
| * | Fix sort_dependencies for good, maintaining the initial order. | msozeau | 2010-02-16 |
| * | Makefile.build: avoid warning about undefined variable during make install | letouzey | 2010-02-16 |
| * | Makefile: also install the .cmi of plugins | letouzey | 2010-02-16 |
| * | Uniformisation Sorting/Mergesort and Structures/Orders | letouzey | 2010-02-16 |
letouzey
jforest
vgross
notin
thutchin
msozeau
barras
gmelquio