Mon, 03 May 2021 21:49:30 +0100 | paulson | A nice cardinality lemma | changeset | files |
Mon, 03 May 2021 19:06:33 +0200 | nipkow | tuned | changeset | files |
Sun, 02 May 2021 21:46:59 +0200 | wenzelm | more robust indentation: proper line context after insert; | changeset | files |
Sun, 02 May 2021 20:51:21 +0200 | wenzelm | more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName(); | changeset | files |
Sun, 02 May 2021 17:38:49 +0200 | wenzelm | support nested cases; | changeset | files |
Sun, 02 May 2021 15:56:58 +0200 | wenzelm | tuned; | changeset | files |