aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/loadpath.ml
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [api] Miscellaneous consolidation + moves to engine.Gravatar Emilio Jesus Gallego Arias2017-11-21
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Drop '.' from CErrors.anomaly, insert it in argsGravatar Jason Gross2017-06-02
* [flags] Deprecate is_silent/is_verbose in favor of single flag.Gravatar Emilio Jesus Gallego Arias2017-04-21
* Fix bug #5090: Effect of -Q depends on coqtop's current directory.Gravatar Pierre-Marie Pédrot2016-09-25
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Remove some unused functions.Gravatar Guillaume Melquiond2016-01-02
* | Move the From logic to Loadpath.expand_path.Gravatar Guillaume Melquiond2015-12-22
|/
* Unexport Loadpath.get_paths.Gravatar Guillaume Melquiond2015-09-30
* Remove some uses of Loadpath.get_paths.Gravatar Guillaume Melquiond2015-09-29
* Make it possible for -R to override the existing implicit setting of a path.Gravatar Guillaume Melquiond2015-04-02
* From X Require Y looks for X with absolute path, disregarding -R.Gravatar Pierre-Marie Pédrot2015-04-01
* Removing the unused root flag from loadpaths.Gravatar Pierre-Marie Pédrot2015-03-31
* A more reasonable implementation of Loadpath.Gravatar Pierre-Marie Pédrot2015-03-31
* Properly set module names in presence of -Q. (Fix for bug #3958)Gravatar Guillaume Melquiond2015-02-05
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fix native_compute for systems with a limited size for the command line.Gravatar Guillaume Melquiond2014-05-22
* Add an option -Q (tentative name).Gravatar Guillaume Melquiond2014-04-08
* Fix lookup of native files when option -R is missing.Gravatar Guillaume Melquiond2014-03-07
* Uniformizing the [if_warn] flag used for warning printing and putGravatar ppedrot2013-05-08
* code simplifications concerning SummaryGravatar letouzey2013-04-22
* Synchronizing loadpath with the backtrack mechanism.Gravatar ppedrot2013-03-26
* Moved the Loadpath part of Library to its own file, and documentedGravatar ppedrot2013-03-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-27 10:36:21 +0000