| Mon, 22 Sep 2008 08:00:23 +0200 | haftmann | added some fragments from website | changeset | files |
| Sat, 20 Sep 2008 21:05:41 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Fri, 19 Sep 2008 22:11:50 +0200 | wenzelm | Isar toplevel editor model. | changeset | files |
| Fri, 19 Sep 2008 21:22:31 +0200 | wenzelm | future tasks: support boolean priorities (true = high, false = low/irrelevant); | changeset | files |
| Fri, 19 Sep 2008 21:00:50 +0200 | wenzelm | output_sync is now public; | changeset | files |
| Fri, 19 Sep 2008 21:00:49 +0200 | wenzelm | added props_text (from isar_syn.ML); | changeset | files |