| Sun, 22 Nov 2009 15:37:49 +0100 | ballarin | Generated latex code. | changeset | files |
| Sun, 22 Nov 2009 15:37:14 +0100 | ballarin | Updated locale documentation. | changeset | files |
| Sun, 22 Nov 2009 22:04:51 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Sun, 22 Nov 2009 14:59:27 +0100 | wenzelm | remove presently unused Isabelle application; | changeset | files |
| Sun, 22 Nov 2009 14:49:36 +0100 | wenzelm | more NEWS, more tuning for release; | changeset | files |
| Sun, 22 Nov 2009 14:13:18 +0100 | wenzelm | misc tuning and updates for official release; | changeset | files |
| Sat, 21 Nov 2009 20:44:16 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 21 Nov 2009 20:41:29 +0100 | wenzelm | updated keywords; | changeset | files |
| Sat, 21 Nov 2009 18:33:55 +0100 | ballarin | Use less whitespace in documentation. | changeset | files |
| Sat, 21 Nov 2009 18:25:53 +0100 | ballarin | Publication details and minor correction of the text. | changeset | files |
| Sat, 21 Nov 2009 17:39:54 +0100 | ballarin | Removed obsolete comment. | changeset | files |
| Sat, 21 Nov 2009 17:37:07 +0100 | ballarin | Merged. | changeset | files |