proper Windows 32bit platform;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE3cc6aa405858: clarified "isabelle logo", after discontinuation of DVI output (seeā¦
- Branches
- Unknown
- Tags
proper Windows 32bit platform; Tags None Subscribers None
Description
Details
|