Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Properly set module names in presence of -Q. (Fix for bug #3958) | Guillaume Melquiond | 2015-02-05 |
* | Update headers. | Maxime Dénès | 2015-01-12 |
* | Fix native_compute for systems with a limited size for the command line. | Guillaume Melquiond | 2014-05-22 |
* | Add an option -Q (tentative name). | Guillaume Melquiond | 2014-04-08 |
* | Fix lookup of native files when option -R is missing. | Guillaume Melquiond | 2014-03-07 |
* | Uniformizing the [if_warn] flag used for warning printing and put | ppedrot | 2013-05-08 |
* | code simplifications concerning Summary | letouzey | 2013-04-22 |
* | Synchronizing loadpath with the backtrack mechanism. | ppedrot | 2013-03-26 |
* | Moved the Loadpath part of Library to its own file, and documented | ppedrot | 2013-03-26 |