| Sat, 28 Jun 2008 21:21:21 +0200 | wenzelm | allow overlap of minor keywords and commands; | changeset | files |
| Sat, 28 Jun 2008 21:21:20 +0200 | wenzelm | include HOL-Plain; | changeset | files |
| Sat, 28 Jun 2008 21:21:18 +0200 | wenzelm | tuned args parser (cf. args.ML); | changeset | files |
| Sat, 28 Jun 2008 21:21:17 +0200 | wenzelm | replaced simple_text by fully-featured parse_args; | changeset | files |