Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.


Commit [4101d5] Isabelle2008 Maximize Restore History

Hopefully changed back - had accidentally changed it.

nipkow nipkow 2008-11-12

changed web/entries/Submission-Template.shtml
web/entries/Submission-Template.shtml Diff Switch to side-by-side view