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.

Close

Commit [991026] Isabelle2009 Maximize Restore History

added doctype etc to make them into full html documents

lsf37 lsf37 2009-09-04

changed doc/editors/new-entry-checkin.html
changed doc/editors/directory-naming.html
changed doc/maintenance.html
changed doc/regression-test.html
changed doc/the-archive.html
doc/editors/new-entry-checkin.html Diff Switch to side-by-side view
Loading...
doc/editors/directory-naming.html Diff Switch to side-by-side view
Loading...
doc/maintenance.html Diff Switch to side-by-side view
Loading...
doc/regression-test.html Diff Switch to side-by-side view
Loading...
doc/the-archive.html Diff Switch to side-by-side view
Loading...