| Mon, 19 Jan 2009 21:20:18 +0100 | ballarin | Merged, overriding earlier fix. | changeset | files |
| Mon, 19 Jan 2009 20:37:08 +0100 | ballarin | Fixed tutorial to compile with new locales; grammar of new locale commands. | changeset | files |
| Mon, 19 Jan 2009 20:05:41 +0100 | wenzelm | removed Ids; | changeset | files |
| Mon, 19 Jan 2009 19:38:03 +0100 | wenzelm | removed Ids; | changeset | files |
| Mon, 19 Jan 2009 16:03:04 +0100 | wenzelm | intern names of elements and attributes; | changeset | files |
| Mon, 19 Jan 2009 13:38:59 +0100 | haftmann | merged | changeset | files |
| Mon, 19 Jan 2009 13:38:23 +0100 | haftmann | lcp = paulson | changeset | files |
| Mon, 19 Jan 2009 13:37:24 +0100 | haftmann | "code equation" replaces "defining equation" | changeset | files |
| Mon, 19 Jan 2009 08:16:43 +0100 | haftmann | tuned | changeset | files |
| Mon, 19 Jan 2009 08:16:42 +0100 | haftmann | improved tackling of subclasses | changeset | files |
| Mon, 19 Jan 2009 08:16:42 +0100 | haftmann | tuned proof | changeset | files |
| Sun, 18 Jan 2009 21:40:53 +0100 | haftmann | smart path detection | changeset | files |
| Sun, 18 Jan 2009 21:36:59 +0100 | haftmann | corrected user aliases | changeset | files |
| Sun, 18 Jan 2009 21:12:06 +0100 | haftmann | added churn script | changeset | files |
| Sun, 18 Jan 2009 20:06:51 +0100 | wenzelm | Scala wrapper for interactive Isar documents; | changeset | files |
| Sun, 18 Jan 2009 20:05:01 +0100 | wenzelm | added append_list, encode_list; | changeset | files |