summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* shorten paths in annot + lookup abbreviations in persistent structuresshort-pathsJacques Garrigue2012-12-173-4/+8
* improve performanceJacques Garrigue2012-12-102-1/+10
* expand to simpler typesJacques Garrigue2012-12-101-24/+76
* merge version/4.00 at revision 12866Jacques Garrigue2012-08-21766-10889/+23799
* prefer newest name + only update env after printingJacques Garrigue2012-04-195-32/+47
* build a map from internal paths to printed pathsJacques Garrigue2012-04-115-59/+91
* remove opened modules in type pathsJacques Garrigue2012-04-031-23/+48
* problem with applicative functorsJacques Garrigue2012-03-311-0/+21
* shorten paths in .annotJacques Garrigue2012-03-141-3/+3
* disable shortening for errors in TypetexpJacques Garrigue2012-01-243-23/+41
* disable shortening if Env.emptyJacques Garrigue2012-01-241-2/+3
* propagate path-expansion environment everywhereJacques Garrigue2012-01-2329-196/+243
* simpler approach for signaturesJacques Garrigue2012-01-221-52/+27
* shorten paths in signatures and toplevel outputJacques Garrigue2012-01-225-25/+76
* first attempt: handles only unification errorsJacques Garrigue2012-01-2210-146/+207
* Attempt at shortening paths on printingJacques Garrigue2012-01-2235-0/+0
* cleaner fix of PR#5490Jacques Garrigue2012-01-211-7/+12
* #4830: Add option -v to expunge.ml.Alain Frisch2012-01-201-8/+14
* Renaming.Alain Frisch2012-01-201-2/+2
* Fix #5490.Alain Frisch2012-01-201-2/+3
* Reverting bad commit.Alain Frisch2012-01-2026-175/+175
* Fix #5490.Alain Frisch2012-01-2026-175/+175
* PR#5482: fixed bashism (other problem have already been fixed).Xavier Clerc2012-01-191-1/+1
* Unused_var has been removed.Alain Frisch2012-01-181-1/+0
* Unused_var has been removed.Alain Frisch2012-01-182-2/+0
* Unused_var has been removed.Alain Frisch2012-01-182-2/+2
* Direct implementation of the approximation of free identifiers + get rid of U...Alain Frisch2012-01-184-326/+110
* Fixed warning orders (testsuite).Xavier Clerc2012-01-181-2/+2
* Sorry, the reference files for the "letrec" test case were in the root direct...Xavier Clerc2012-01-187-0/+0
* Missing reference files for test "letrec".Xavier Clerc2012-01-187-0/+0
* -warn-help show the meaning of letters.Alain Frisch2012-01-181-0/+12
* Update Changes.Alain Frisch2012-01-181-1/+3
* Merge branch 'pending'Jonathan Protzenko2012-01-181-1/+7
* PR#5199: tests are run only for bytecode if either native support is missing,Xavier Clerc2012-01-1810-26/+60
* Fix #5439: Upgrade to latest config.guess and config.sub.Jonathan Protzenko2012-01-182-585/+876
* Fix #5421: do not leak fds in various open_proc* functions.Jonathan Protzenko2012-01-181-20/+47
* Warning K for all new 'unused declarations' warnings.Alain Frisch2012-01-182-4/+6
* Merge the unused_declarations branch.Alain Frisch2012-01-1825-200/+563
|\
| * Synchronize with trunk.unused_declarationsAlain Frisch2012-01-18184-1396/+3192
| |\ | |/ |/|
* | Fix PR#5461Fabrice Le Fessant2012-01-1715-101/+129
* | Fix PR#5475Fabrice Le Fessant2012-01-173-2/+3
* | Fix PR#5479Fabrice Le Fessant2012-01-172-1/+4
* | PR#4688: (Windows) special floating-point values aren't converted to strings ...Alain Frisch2012-01-163-1/+32
* | #5478: Update Changes.Alain Frisch2012-01-161-0/+1
* | Bad cut and paste.Alain Frisch2012-01-161-117/+0
* | #5478: makes it possible to specify a custom 'ar' command.Alain Frisch2012-01-1613-2/+145
* | More efficient implementation of {Set,Map}.{filter,partition}Xavier Leroy2012-01-168-35/+299
* | I messed up the distinction between "Bug fixes" and "Feature wishes". Repair...Xavier Leroy2012-01-141-9/+10
* | PR#5327, PR#5329: improvements in Unix.select emulationXavier Leroy2012-01-143-273/+444
* | Fix bug #5476: native code compilation of let rec on float arraysFabrice Le Fessant2012-01-1320-10/+170
View Lorry Controller Status