Permalink
Failed to load latest commit information.
checker Vi2vo: fix handling of univ constraints coming from the body Dec 23, 2014
config Coqmktop without Sys.command, changes in ./configure -*byteflags options Jan 30, 2014
dev Win32: fix installer Dec 19, 2014
doc Better doc and a few fixes for Proof using. Dec 19, 2014
grammar A global [gfail] tactic which works like [fail] except that it fails … Dec 23, 2014
ide CoqIDE: cleanup jobs window on worker death Dec 17, 2014
interp Getting rid of Exninfo hacks. Dec 16, 2014
intf A global [gfail] tactic which works like [fail] except that it fails … Dec 23, 2014
kernel Dead code in Univ. Dec 21, 2014
lib Fixed bad newlines in output for std output and emacs. Dec 18, 2014
library Summary: more surgery functions Dec 17, 2014
man Removing dead code relative to the XML plugin. Sep 8, 2014
parsing A global [gfail] tactic which works like [fail] except that it fails … Dec 23, 2014
plugins can extract flat_map Dec 24, 2014
pretyping When pretyping [uconstr] closures, don't use the local Ltac variable … Dec 19, 2014
printing A global [gfail] tactic which works like [fail] except that it fails … Dec 23, 2014
proofs Vi2vo: fix handling of univ constraints coming from the body Dec 23, 2014
stm STM: cleanup code for Admitted Dec 23, 2014
tactics A global [gfail] tactic which works like [fail] except that it fails … Dec 23, 2014
test-suite Better doc and a few fixes for Proof using. Dec 19, 2014
theories Adds two lemmas about hderror to the List standard library. Dec 18, 2014
tools Bug fix (coq_makefile): Adding unix.cma and threads.cma dependencies … Dec 18, 2014
toplevel Better doc and a few fixes for Proof using. Dec 19, 2014
.dir-locals.el Don't set global variables from a hidden file. (!) Jul 14, 2014
.gitignore Ignore *.vi files, just like *.vo files. Dec 11, 2014
.mailmap Add t-jagro to .mailmap Aug 26, 2014
.merlin Clean up the .merlin Apr 3, 2014
CHANGES Minor modification of CHANGE. Dec 23, 2014
COMPATIBILITY Revert d0cd27e: giving a different name Oct 11, 2014
COPYRIGHT Fixed #2789. May 25, 2012
CREDITS Switch the few remaining iso-latin-1 files to utf8 Dec 9, 2014
INSTALL More fallout from elisp rename Oct 16, 2014
INSTALL.doc Amélioration du README.doc et de l'installation de la doc Nov 14, 2008
INSTALL.ide Set officially the minimal OCaml requirement to 3.12.1 Mar 2, 2014
INSTALL.macosx MAJ ppc/i386 Apr 24, 2007
LICENSE fix pour install windows Nov 9, 2005
Makefile Configure.ml creates metadata to annotate MacOS binaries Aug 26, 2014
Makefile.build Fixing Makefile so that it puts the -thread flag on the right place. Dec 17, 2014
Makefile.common Merge remote-tracking branch 'origin/trunk' into rust Dec 21, 2014
Makefile.doc Port to trunk the old commit r14895 of v8.4 (styles for the stdlib do… Dec 9, 2014
README.doc Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + su… Aug 6, 2008
README.md synchronize README with the current output Dec 24, 2014
README.win Win32: remove the need for Coq.bat and Coqide.bat Apr 21, 2011
TODO Switch the few remaining iso-latin-1 files to utf8 Dec 9, 2014
_tags A few fixes to the build system (mostly for ocamlbuild) Dec 16, 2013
build Minor fix in the ./build wrapper for ocamlbuild Oct 6, 2012
compile.sh can extract record type Dec 24, 2014
configure configure.ml: our configure script is now written in ML :-) Dec 20, 2013
configure.ml Fix #3163 and #3843 part 1 : Cygwin DLLs have extension ".so", not ".… Dec 12, 2014
coq-win32.itarget Win32 cross-compilation from debian: build of coqide.exe and other bi… Feb 24, 2010
coq.itarget Ocamlbuild: try to speed-up error detection in *.ml*, by byte-compili… Jun 3, 2010
input.v can extract flat_map Dec 24, 2014
install.sh Revert and correctly fix "#4843 part 2 : The .cmxs files for plugins … Dec 17, 2014
myocamlbuild.ml Adding a stm/ folder, as asked during last workgroup. It was essentia… Apr 25, 2014