Commit [4731c4] Isabelle2007 Maximize Restore History

yet another fix to the release image path: for 2007 and polyml 5.1 everything

should work with standard settings again now

lsf37 lsf37 2007-12-29

changed admin/regression
admin/regression Diff Switch to side-by-side view
Loading...