aboutsummaryrefslogtreecommitdiff
path: root/library/loadpath.mli
AgeCommit message (Expand)Author
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
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-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-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-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 19:18:53 +0000