# HG changeset patch # User kleing # Date 944760819 -3600 # Node ID a1063ed4aa2952e04aa682f9dc9b24a6576b1e1c # Parent c9765800a4fae4f7cfdc96c2633d782dbb4b0c3b dist page now in page/dist-{content|layout} diff -r c9765800a4fa -r a1063ed4aa29 Admin/index.html --- a/Admin/index.html Thu Dec 09 13:35:01 1999 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,97 +0,0 @@ - - - - - - -Isabelle Distribution Area - - - - -

Distribution Area

- -

- - -

Mirror sites (alphabetical order)

- - - -

- - -

Isabelle releases

- - - -

- -{AUTHOR} {DATE} - - - -