aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/loadpath.ml
Commit message (Expand)AuthorAge
* 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