aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/loadpath.mli
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | 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
* 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
* 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
* 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-11-23 15:10:34 +0000