| 2021-10-28 | wenzelm | clarified antiquotations; | changeset | files |
| 2021-10-28 | wenzelm | clarified antiquotations; | changeset | files |
| 2021-10-28 | wenzelm | support for "lemma"; | changeset | files |
| 2021-10-28 | wenzelm | tuned; | changeset | files |
| 2021-10-28 | wenzelm | local fixes for "lemma" antiquotation; | changeset | files |
| 2021-10-28 | wenzelm | clarified signature; | changeset | files |
| 2021-10-28 | wenzelm | tuned; | changeset | files |
| 2021-10-28 | wenzelm | clarified keywords: major take precedence for commands, but not used for antiquotations; | changeset | files |
| 2021-10-28 | wenzelm | tuned modules; | changeset | files |
| 2021-10-27 | wenzelm | more antiquotations; | changeset | files |
| 2021-10-27 | paulson | moved a theorem to a sensible place | changeset | files |
| 2021-10-26 | wenzelm | merged | changeset | files |
| Loading... | |||