More syntactic cleanup. LaTeX markup working
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rISABELLE0c18df79b1c8: more modernisation of syntax
- Branches
- Unknown
- Tags
More syntactic cleanup. LaTeX markup working
Description More syntactic cleanup. LaTeX markup working
Details
Event Timelinepaulson <lp15@cam.ac.uk> committed rISABELLEa642599ffdea: More syntactic cleanup. LaTeX markup working.Sep 27 2022, 6:46 PM2022-09-27 18:46:52 (UTC+2) |