| Mon, 15 Apr 2024 22:23:40 +0100 | paulson | Streamlining of many more archaic proofs | changeset | files |
| Mon, 15 Apr 2024 20:35:56 +0200 | Fabian Huch | clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces); | changeset | files |
| Sun, 14 Apr 2024 22:38:17 +0100 | paulson | More tidying of old proofs | changeset | files |
| Sun, 14 Apr 2024 18:39:53 +0100 | paulson | merged | changeset | files |
| Sun, 14 Apr 2024 18:39:43 +0100 | paulson | More tidying and removal of "apply" | changeset | files |
| Sat, 13 Apr 2024 10:22:14 +0200 | Simon Wimmer | Add subgoals variant of 'sketch' command | changeset | files |
| Fri, 12 Apr 2024 22:19:27 +0100 | paulson | merged | changeset | files |