| Sun, 04 Mar 2018 12:22:48 +0100 | ballarin | Drop rewrites after defines in interpretations. | changeset | files |
| Sat, 03 Mar 2018 22:33:25 +0100 | wenzelm | proper remote_mac according to Admin/Release/CHECKLIST; | changeset | files |
| Sat, 03 Mar 2018 21:40:04 +0100 | wenzelm | more Java heap, e.g. relevant for hg.graph on Isabelle repository; | changeset | files |
| Sat, 03 Mar 2018 21:39:24 +0100 | wenzelm | more robust check -- do not rely on return code; | changeset | files |
| Sat, 03 Mar 2018 21:38:27 +0100 | wenzelm | more compact ML_Statistics, to make build_status work with less than 2GB heap; | changeset | files |
| Sat, 03 Mar 2018 17:37:33 +0100 | wenzelm | retain latest ml_stats (amending e76c6cb0d461); | changeset | files |
| Sat, 03 Mar 2018 16:15:21 +0100 | wenzelm | accomodate smaller build machine; | changeset | files |