| Thu, 16 Apr 2020 08:09:29 +0200 | haftmann | more complete rules on numerals | changeset | files |
| Thu, 16 Apr 2020 08:09:28 +0200 | haftmann | more complete rules on numerals | changeset | files |
| Thu, 16 Apr 2020 00:37:07 +0200 | wenzelm | removed obsolete RC tags; | changeset | files |
| Wed, 15 Apr 2020 14:31:21 +0200 | wenzelm | merged | changeset | files |
| Wed, 15 Apr 2020 12:33:42 +0200 | wenzelm | Added tag Isabelle2020 for changeset abf3e80bd815 | changeset | files |
| Mon, 13 Apr 2020 22:08:14 +0200 | wenzelm | tuned NEWS; | changeset | files |
| Sun, 12 Apr 2020 16:59:49 +0200 | wenzelm | tuned NEWS; | changeset | files |