aboutsummaryrefslogtreecommitdiff
path: root/library/loadpath.ml
AgeCommit message (Expand)Author
2017-06-02Drop '.' from CErrors.anomaly, insert it in argsJason Gross
2017-04-21[flags] Deprecate is_silent/is_verbose in favor of single flag.Emilio Jesus Gallego Arias
2016-09-25Fix bug #5090: Effect of -Q depends on coqtop's current directory.Pierre-Marie Pédrot
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-06-29A new infrastructure for warnings.Maxime Dénès
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-02Remove some unused functions.Guillaume Melquiond
2015-12-22Move the From logic to Loadpath.expand_path.Guillaume Melquiond
2015-09-30Unexport Loadpath.get_paths.Guillaume Melquiond
2015-09-29Remove some uses of Loadpath.get_paths.Guillaume Melquiond
2015-04-02Make it possible for -R to override the existing implicit setting of a path.Guillaume Melquiond
2015-04-01From X Require Y looks for X with absolute path, disregarding -R.Pierre-Marie Pédrot
2015-03-31Removing the unused root flag from loadpaths.Pierre-Marie Pédrot
2015-03-31A more reasonable implementation of Loadpath.Pierre-Marie Pédrot
2015-02-05Properly set module names in presence of -Q. (Fix for bug #3958)Guillaume Melquiond
2015-01-12Update headers.Maxime Dénès
2014-05-22Fix native_compute for systems with a limited size for the command line.Guillaume Melquiond
2014-04-08Add an option -Q (tentative name).Guillaume Melquiond
2014-03-07Fix lookup of native files when option -R is missing.Guillaume Melquiond
2013-05-08Uniformizing the [if_warn] flag used for warning printing and putppedrot
2013-04-22code simplifications concerning Summaryletouzey
2013-03-26Synchronizing loadpath with the backtrack mechanism.ppedrot
2013-03-26Moved the Loadpath part of Library to its own file, and documentedppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:13:11 +0000