# HG changeset patch
# User kleing
# Date 1082963654 -7200
# Node ID 9fbeb9b0aba0e22b4b68bb5a3ab879ddc7bbf87c
# Parent  5a899cd54366fd9ef22083bd0f4a5dd109c0bd6d
Isabelle on windoze

diff -r 5a899cd54366 -r 9fbeb9b0aba0 Admin/page/dist-content/packages.content
--- a/Admin/page/dist-content/packages.content	Mon Apr 26 09:01:30 2004 +0200
+++ b/Admin/page/dist-content/packages.content	Mon Apr 26 09:14:14 2004 +0200
@@ -122,4 +122,16 @@
 separate option in the Proof General <em>Options</em> menu to enable
 X-Symbol.
 
+<h3>Running Isabelle on Windows</h3>
+
+Windows is not an officially supported platform for runnning Isabelle,
+but a friendly user, Norbert Völker, <a
+href="http://cswww.essex.ac.uk/Research/FSS/projects/isawin/">provides
+a page with tips</a> on how to get the core system working anyway.
+
+<p> 
+
+For a complete system we recommend to run some recent version of
+Linux.
+
 <p>