| Wed, 31 Aug 2016 10:49:30 +0200 | wenzelm | clarified (see 019856db2bb6, ea52509f4c42); | changeset | files |
| Tue, 30 Aug 2016 21:56:14 +0200 | wenzelm | some support for merge of Isabelle/jEdit shortcuts wrt. jEdit keymap; | changeset | files |
| Tue, 30 Aug 2016 14:47:23 +0200 | wenzelm | added glyph from "Deja Vu Sans Mono" font; | changeset | files |
| Thu, 01 Sep 2016 14:38:44 +0200 | blanchet | more robustness | changeset | files |
| Thu, 01 Sep 2016 12:10:52 +0200 | blanchet | added theory to provide workaround to support nested datatypes in quickcheck (until quickcheck is generalized to support it with new datatypes) | changeset | files |
| Thu, 01 Sep 2016 11:41:10 +0200 | blanchet | make workaround possible for Quickcheck with nesting | changeset | files |
| Tue, 30 Aug 2016 16:39:47 +0200 | blanchet | tuned docs | changeset | files |