index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
library
/
loadpath.ml
Age
Commit message (
Expand
)
Author
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-11-21
[api] Miscellaneous consolidation + moves to engine.
Emilio Jesus Gallego Arias
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2017-06-02
Drop '.' from CErrors.anomaly, insert it in args
Jason Gross
2017-04-21
[flags] Deprecate is_silent/is_verbose in favor of single flag.
Emilio Jesus Gallego Arias
2016-09-25
Fix bug #5090: Effect of -Q depends on coqtop's current directory.
Pierre-Marie Pédrot
2016-07-03
errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...
Pierre Letouzey
2016-06-29
A new infrastructure for warnings.
Maxime Dénès
2016-05-31
Feedback cleanup
Emilio Jesus Gallego Arias
2016-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2016-01-02
Remove some unused functions.
Guillaume Melquiond
2015-12-22
Move the From logic to Loadpath.expand_path.
Guillaume Melquiond
2015-09-30
Unexport Loadpath.get_paths.
Guillaume Melquiond
2015-09-29
Remove some uses of Loadpath.get_paths.
Guillaume Melquiond
2015-04-02
Make it possible for -R to override the existing implicit setting of a path.
Guillaume Melquiond
2015-04-01
From X Require Y looks for X with absolute path, disregarding -R.
Pierre-Marie Pédrot
2015-03-31
Removing the unused root flag from loadpaths.
Pierre-Marie Pédrot
2015-03-31
A more reasonable implementation of Loadpath.
Pierre-Marie Pédrot
2015-02-05
Properly set module names in presence of -Q. (Fix for bug #3958)
Guillaume Melquiond
2015-01-12
Update headers.
Maxime Dénès
2014-05-22
Fix native_compute for systems with a limited size for the command line.
Guillaume Melquiond
2014-04-08
Add an option -Q (tentative name).
Guillaume Melquiond
2014-03-07
Fix lookup of native files when option -R is missing.
Guillaume Melquiond
2013-05-08
Uniformizing the [if_warn] flag used for warning printing and put
ppedrot
2013-04-22
code simplifications concerning Summary
letouzey
2013-03-26
Synchronizing loadpath with the backtrack mechanism.
ppedrot
2013-03-26
Moved the Loadpath part of Library to its own file, and documented
ppedrot
