| Sat, 17 Apr 2021 19:37:42 +0200 | wenzelm | more options: update ISABELLE_IDENTIFIER; | changeset | files |
| Fri, 16 Apr 2021 23:35:20 +0200 | wenzelm | clarified conditional ML; | changeset | files |
| Fri, 16 Apr 2021 23:16:00 +0200 | wenzelm | support for conditional ML text; | changeset | files |
| Fri, 16 Apr 2021 21:54:08 +0200 | wenzelm | updated example; | changeset | files |
| Fri, 16 Apr 2021 21:50:47 +0200 | wenzelm | clarified options; | changeset | files |
| Thu, 15 Apr 2021 19:45:43 +0000 | haftmann | proper context variable handling when stripping leadings quantifiers from test goals | changeset | files |