Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Commit [4b1545] default Isabelle2011-1 Maximize Restore History

merged

lammich lammich 2011-10-10

added .hgtags
changed metadata/index.tpl
changed metadata/release-dates
changed metadata/releases
changed thys/Abstract-Rewriting/Abstract_Rewriting.thy
changed web/entries/Myhill-Nerode.shtml
changed web/index.shtml
.hgtags Diff Switch to side-by-side view
Loading...
metadata/index.tpl Diff Switch to side-by-side view
Loading...
metadata/release-dates Diff Switch to side-by-side view
Loading...
metadata/releases Diff Switch to side-by-side view
Loading...
thys/Abstract-Rewriting/Abstract_Rewriting.thy Diff Switch to side-by-side view
Loading...
web/entries/Myhill-Nerode.shtml Diff Switch to side-by-side view
Loading...
web/index.shtml Diff Switch to side-by-side view
Loading...