merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE3757e64e75bb: tweaked
rISABELLE21ff9c1a4644: more Isabelle fonts, notably for PanelWindowContainer buttons with Windows L&F; - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- 26492b600d78 tuned whitespace --- avoid TABs;Author
- 427b18abf925 updated to postgresql-42.2.18;Author
- 935f028d5f44 updated to jfreechart-1.5.1;Author
- ed75dde8061a Path.implode_symbolic as in ML;Author
- 98ecb951d911 more completion;Author
- 15a8de807f21 tuned signature;Author
- 1cc74982d038 clarified parser;Author
- 83e581c9a5f1 tuned signature;Author
- 27a464537fb0 tuned signature;Author
- 0a94eb91190d clarified modules;Author
- 51c0f79d6eed tuned signature;Author
- a9ef39041114 clarified signature;Author
- 72976a6bd2ba tuned comments;Author
- 4dcd05a26795 typoAuthor
- 4ab04bafae35 more on signed divisionAuthor
- f6bf65554764 clarified files;Author
- 47ffeb3448f4 tuned whitespace;Author
- 722c0d02ffab clarified signature;Author
- d9a54c4c9da9 more robust isabelle_scala_files;Author
- 4519eeefe3b5 avoid conflicting base names;Author
- 72ac27ea12b2 more positions;Author
- 1456c5747416 clarified modules;Author