| Mon, 04 Aug 2014 10:48:35 +0200 | wenzelm | Added tag Isabelle2014-RC2 for changeset ee908fccabc2 | changeset | files |
| Mon, 04 Aug 2014 10:47:26 +0200 | wenzelm | more user aliases; | changeset | files |
| Mon, 04 Aug 2014 07:31:27 +0200 | noschinl | registered Haskabelle-2014 | changeset | files |
| Fri, 01 Aug 2014 13:59:34 +0200 | Lars Noschinski | tuned, so codegen runs with current isabelle again | changeset | files |
| Sun, 03 Aug 2014 17:38:59 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sun, 03 Aug 2014 17:33:38 +0200 | wenzelm | more robust popup geometry vs. formatted margin; | changeset | files |
| Sun, 03 Aug 2014 17:17:59 +0200 | wenzelm | tuned message; | changeset | files |