merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLEf3fe59e61f3d: put back Nat.le_diff_conv2 because AUTO2 doesn't work with Groups.le_diff_conv2
rISABELLE73d1dc57215f: avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph… - Branches
- Unknown
- Tags
Merged Changes
Merged Changes