| Mon, 18 Aug 2014 14:19:23 +0200 | wenzelm | merged | changeset | files |
| Mon, 18 Aug 2014 13:19:04 +0200 | wenzelm | merged; | changeset | files |
| Mon, 18 Aug 2014 12:17:31 +0200 | wenzelm | Added tag Isabelle2014-RC4 for changeset 113b43b84412 | changeset | files |
| Mon, 18 Aug 2014 12:15:11 +0200 | wenzelm | updated to jdk-7u67; | changeset | files |
| Sun, 17 Aug 2014 16:05:43 +0200 | wenzelm | postpone changes in intermediate state between remove_versions/removed_versions, which is important for handle_change to refer to defined items on prover side; | changeset | files |
| Fri, 15 Aug 2014 13:39:59 +0200 | wenzelm | explicit system message for protocol failure -- show on Syslog panel instead of Raw Output; | changeset | files |
| Wed, 13 Aug 2014 20:21:04 +0200 | wenzelm | added option editor_syslog_limit; | changeset | files |