index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
system.mli
Commit message (
Expand
)
Author
Age
*
Generalizing the patch to bug #2554 on fixing path looking with
Hugo Herbelin
2015-11-25
*
Make the interface of System.raw_extern_intern much saner.
Guillaume Melquiond
2015-09-29
*
Prevent States.intern_state and System.extern_intern from looking up files in...
Guillaume Melquiond
2015-09-29
*
Revert "On MacOS X, ensuring that files found in the file system have the"
Maxime Dénès
2015-09-20
*
Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that files
Hugo Herbelin
2015-05-20
*
Revert "Using same code for browsing physical directories in coqtop and coqdep."
Hugo Herbelin
2015-02-12
*
Using same code for browsing physical directories in coqtop and coqdep.
Hugo Herbelin
2015-02-12
*
Update headers.
Maxime Dénès
2015-01-12
*
toploop plugins taken into account when printing --help (close: 3535)
Enrico Tassi
2014-09-09
*
Removing dead code relative to the XML plugin.
Pierre-Marie Pédrot
2014-09-08
*
STM: code restructured to reuse task queue for tactics
Enrico Tassi
2014-08-05
*
Adding a "time" tactical for benchmarking purposes. In case the tactic
Hugo Herbelin
2014-07-13
*
Revert "time tac" (committed by mistake).
Hugo Herbelin
2014-07-07
*
time tac
Hugo Herbelin
2014-07-07
*
.vi files: .vo files without proofs
Enrico Tassi
2014-01-04
*
Change in vo format : digest aren't Marshalled anymore
letouzey
2013-08-22
*
Removing mandatory suffixes for library files.
ppedrot
2013-03-21
*
v8.4: Granting bug/wish #2976 (turning anomaly on input_value into nice message)
herbelin
2013-02-01
*
Updating headers.
herbelin
2012-08-08
*
lib directory is cut in 2 cma.
pboutill
2012-04-12
*
Remove System.process_time (dead code)
glondu
2011-05-19
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
New script dev/tools/change-header to automatically update Coq files headers.
herbelin
2010-06-22
*
Protection against anomaly when loading a state with bad magic number.
herbelin
2010-06-22
*
Account for Stephane Glondu's remarks.
fkirchne
2010-05-28
*
Use existing functions to reimplement search_exe.
fkirchne
2010-05-28
*
Various minor improvements of comments in mli for ocamldoc
letouzey
2010-04-29
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Move from ocamlweb to ocamdoc to generate mli documentation
pboutill
2010-04-29
*
Look for csdp in $PATH at runtime, remove -csdpdir configure option
glondu
2010-04-11
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Backporting from v8.2 to trunk:
herbelin
2009-01-18
*
- coq_makefile: target install now respects the original tree structure
herbelin
2008-12-24
*
Fichiers oubliés lors du 11188 :-(
herbelin
2008-06-30
*
Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms de
herbelin
2006-11-21
*
Correction bug #990 (LoadPath et option -R de coqide
notin
2006-05-30
*
bug de coqide sous windows (bad file descriptor)
barras
2005-11-23
*
Déplacement de fonctionnalités unix et browser de ide vers lib
herbelin
2005-05-19
*
Ajout d'un processus de communication entre Coq et un outil externe
herbelin
2005-02-04
*
Nouvelle en-tête
herbelin
2004-07-16
*
Parsing
herbelin
2001-08-10
*
quelques bug reports mineurs
barras
2001-05-07
*
entetes
filliatr
2001-03-15
*
export open_trapping_failure pour contrib/extraction
filliatr
2001-02-26
*
syntaxe AST Inversion + commentaires ocamlweb autour de $
filliatr
2000-12-12
*
load_path_entry structure simplified; field relative_subdir renamed to coq_dirpa
sacerdot
2000-11-29
*
Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...
herbelin
2000-11-29
*
nouveau load path
filliatr
2000-11-08
*
Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path
herbelin
2000-09-10
*
modules et coqc
filliatr
1999-12-12
[next]