| Sat, 30 Apr 2011 20:58:36 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 30 Apr 2011 20:48:29 +0200 | wenzelm | more robust error handling (NB: Source.source requires total scanner or recover); | changeset | files |
| Sat, 30 Apr 2011 20:07:31 +0200 | wenzelm | removed old rail.ML; | changeset | files |
| Sat, 30 Apr 2011 19:50:39 +0200 | wenzelm | railroad diagrams in LaTeX as document antiquotation; | changeset | files |
| Sat, 30 Apr 2011 18:16:40 +0200 | wenzelm | more uniform variations of scan_string; | changeset | files |
| Thu, 28 Apr 2011 21:06:04 +0200 | wenzelm | literal facts `prop` may contain dummy patterns; | changeset | files |
| Thu, 28 Apr 2011 20:20:49 +0200 | wenzelm | eliminated slightly odd Proof_Context.bind_fixes; | changeset | files |
| Thu, 28 Apr 2011 09:32:28 +0200 | berghofe | merged | changeset | files |