| Mon, 04 Apr 2016 23:08:48 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 04 Apr 2016 23:08:43 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 04 Apr 2016 22:55:50 +0200 | wenzelm | tuned headers; | changeset | files |
| Mon, 04 Apr 2016 22:13:47 +0200 | wenzelm | merged | changeset | files |
| Mon, 04 Apr 2016 22:13:08 +0200 | wenzelm | tuned -- more explicit sections; | changeset | files |
| Mon, 04 Apr 2016 20:46:39 +0200 | wenzelm | clarified bootstrap -- avoid conditional compilation in ROOT.ML; | changeset | files |
| Mon, 04 Apr 2016 20:45:54 +0200 | wenzelm | allow empty string; | changeset | files |
| Mon, 04 Apr 2016 20:28:17 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 04 Apr 2016 20:20:47 +0200 | wenzelm | clarified modules; | changeset | files |
| Mon, 04 Apr 2016 20:07:08 +0200 | wenzelm | option ML_system_unsafe; | changeset | files |
| Mon, 04 Apr 2016 19:48:54 +0200 | wenzelm | clarified conditional compilation; | changeset | files |
| Mon, 04 Apr 2016 17:25:53 +0200 | wenzelm | clarified bootstrap -- avoid 'ML_file' in Pure.thy for uniformity; | changeset | files |
| Mon, 04 Apr 2016 17:02:34 +0200 | wenzelm | clarified bootstrap -- more uniform use of ML files; | changeset | files |
| Mon, 04 Apr 2016 16:14:22 +0200 | wenzelm | clarified bootstrap; | changeset | files |