| Wed, 01 Sep 2010 13:45:58 +0200 | wenzelm | merged | changeset | files |
| Wed, 01 Sep 2010 11:09:50 +0200 | haftmann | do not print object frame around Scala includes -- this is in the responsibility of the user | changeset | files |
| Wed, 01 Sep 2010 09:03:34 +0200 | haftmann | repaired codegen tool | changeset | files |
| Wed, 01 Sep 2010 08:52:49 +0200 | haftmann | tuned internally and made smlnj happy | changeset | files |
| Wed, 01 Sep 2010 07:53:31 +0200 | bulwahn | merged | changeset | files |
| Tue, 31 Aug 2010 18:38:30 +0200 | bulwahn | renewing specifications in HOL-Auth | changeset | files |
| Tue, 31 Aug 2010 15:21:56 +0200 | bulwahn | adapting and tuning example theories | changeset | files |