| Sat, 03 Nov 2018 20:09:39 +0100 | wenzelm | tuned message (e.g. see Options.save_prefs); | changeset | files |
| Sat, 03 Nov 2018 20:00:45 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 03 Nov 2018 19:33:15 +0100 | wenzelm | support for Isabelle tools in Haskell; | changeset | files |
| Sat, 03 Nov 2018 19:31:50 +0100 | wenzelm | tuned comments; | changeset | files |
| Sat, 03 Nov 2018 19:31:15 +0100 | wenzelm | more operations; | changeset | files |
| Thu, 01 Nov 2018 13:53:29 +0100 | wenzelm | support for Isabelle tool development in Haskell; | changeset | files |
| Thu, 01 Nov 2018 18:19:33 +0000 | Angeliki KoutsoukouArgyraki | tagged a theory for the Analysis manual | changeset | files |