merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEde16d797adbe: more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within…
rISABELLEce90865dbaeb: Simpler proof - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- e53f4c5927a1 tuned signature: more types;Author
- 9c10b4fa17b5 clarified signature;Author
- 8a17c7bf530a tuned signature;Author
- fac614e7669c provide naproche-20210129;Author
- 45d8884dd233 updated to jdk-15.0.2+7;Author
- c0d6d57a9a31 more NEWS;Author
- e7437085e589 more generic Isabelle_app;Author
- 02973da6180a more robust;Author