2010-05-12 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
2007-11-26 | haftmann | simplified website rsync | file | diff | annotate |
2005-11-21 | haftmann | fixed some inconveniencies in website | file | diff | annotate |
2005-09-29 | wenzelm | refer to $PRG instead of (old) rsync-isabelle; | file | diff | annotate |
2005-09-27 | haftmann | website preparation for Isabelle2005 | file | diff | annotate |