Commit [59052c] Isabelle2003  Maximize  Restore  History

mention string 'template'

lsf37 lsf37 2004-03-30

changed web/index.shtml
web/index.shtml Diff Switch to side-by-side view
Loading...