Fri, 11 Jul 2008 09:02:22 +0200 |
haftmann |
separate class dvd for divisibility predicate
|
changeset |
files
|
Fri, 11 Jul 2008 00:35:19 +0200 |
kleing |
temporarily disable at-sml-dev-p
|
changeset |
files
|
Thu, 10 Jul 2008 22:47:26 +0200 |
wenzelm |
updated generated file;
|
changeset |
files
|
Thu, 10 Jul 2008 21:12:34 +0200 |
wenzelm |
restart: Isar.init_point;
|
changeset |
files
|
Thu, 10 Jul 2008 21:03:47 +0200 |
wenzelm |
proper_inform_file_processed: Isar.init_point starts fresh command sequence;
|
changeset |
files
|
Thu, 10 Jul 2008 20:54:00 +0200 |
wenzelm |
activated new versions of undo, kill_proof;
|
changeset |
files
|
Thu, 10 Jul 2008 20:53:52 +0200 |
wenzelm |
activated new versions of init_toplevel, linear_undo, undo, undos_proof kill;
|
changeset |
files
|
Thu, 10 Jul 2008 20:53:50 +0200 |
wenzelm |
added print;
|
changeset |
files
|