| 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 |
| Wed, 13 Aug 2014 20:08:29 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 13 Aug 2014 15:45:41 +0200 | wenzelm | updated to cygwin-20140813 -- some version after 1.7.31-3; | changeset | files |
| Mon, 18 Aug 2014 14:09:21 +0200 | desharna | document 'inj_map_strong' | changeset | files |