| Wed, 30 Aug 2017 21:46:41 +0100 | paulson | unscrambled has_integral_Union | changeset | files |
| Wed, 30 Aug 2017 23:36:21 +0200 | blanchet | added options to make veriT more complete | changeset | files |
| Wed, 30 Aug 2017 22:48:50 +0200 | wenzelm | faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root"; | changeset | files |
| Wed, 30 Aug 2017 20:50:45 +0200 | nipkow | merged | changeset | files |
| Wed, 30 Aug 2017 18:35:23 +0200 | nipkow | added lemma | changeset | files |
| Wed, 30 Aug 2017 15:53:35 +0200 | wenzelm | more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded; | changeset | files |
| Tue, 29 Aug 2017 20:34:43 +0100 | paulson | correction to my previous commit | changeset | files |