| Mon, 26 Dec 2022 17:36:56 +0100 | wenzelm | tuned signature: avoid name confusion; | changeset | files |
| Mon, 26 Dec 2022 16:57:07 +0100 | wenzelm | more bibtex errors; | changeset | files |
| Mon, 26 Dec 2022 16:44:13 +0100 | wenzelm | clarified signature: internalize errors (but: the parser rarely fails); | changeset | files |
| Mon, 26 Dec 2022 15:24:57 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 26 Dec 2022 15:11:42 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Mon, 26 Dec 2022 12:33:55 +0100 | wenzelm | clarified buffer_state: not synchronized, but exclusively owned by GUI thread; | changeset | files |
| Mon, 26 Dec 2022 14:04:06 +0100 | desharna | merged | changeset | files |
| Mon, 26 Dec 2022 13:54:07 +0100 | desharna | removed old lemma names | changeset | files |
| Sat, 24 Dec 2022 15:35:43 +0000 | paulson | merged | changeset | files |
| Fri, 23 Dec 2022 11:12:19 +0000 | paulson | merged | changeset | files |
| Thu, 22 Dec 2022 18:32:42 +0000 | paulson | A few new Sup/Inf lemmas | changeset | files |
| Sat, 24 Dec 2022 13:54:24 +0100 | wenzelm | clarified messages; | changeset | files |
| Sat, 24 Dec 2022 13:19:39 +0100 | wenzelm | tuned signature: follow terminology of VSCode_Resources; | changeset | files |
| Fri, 23 Dec 2022 22:51:47 +0100 | wenzelm | tuned signature; | changeset | files |