| Tue, 03 Jun 2008 14:32:37 +0200 | wenzelm | use isabelle style files from Doc/ -- not the generated ones (which are not present in the repository anyway); | changeset | files |
| Tue, 03 Jun 2008 14:04:51 +0200 | wenzelm | some reorganization and fine-tuning; | changeset | files |
| Tue, 03 Jun 2008 14:04:26 +0200 | wenzelm | some fine-tuning; | changeset | files |
| Tue, 03 Jun 2008 13:17:11 +0200 | wenzelm | CodeTarget.target_code_width; | changeset | files |
| Tue, 03 Jun 2008 12:38:39 +0200 | ballarin | Tuned proof. | changeset | files |
| Tue, 03 Jun 2008 12:34:22 +0200 | ballarin | New version covering interpretation. | changeset | files |
| Tue, 03 Jun 2008 11:55:35 +0200 | wenzelm | proper path to isabelle.jar; | changeset | files |