| 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 |