1.1 --- a/Admin/page/dist-content/packages.content	Mon Apr 26 09:01:30 2004 +0200
     1.2 +++ b/Admin/page/dist-content/packages.content	Mon Apr 26 09:14:14 2004 +0200
     1.3 @@ -122,4 +122,16 @@
     1.4  separate option in the Proof General <em>Options</em> menu to enable
     1.5  X-Symbol.
     1.6  
     1.7 +<h3>Running Isabelle on Windows</h3>
     1.8 +
     1.9 +Windows is not an officially supported platform for runnning Isabelle,
    1.10 +but a friendly user, Norbert Völker, <a
    1.11 +href="http://cswww.essex.ac.uk/Research/FSS/projects/isawin/">provides
    1.12 +a page with tips</a> on how to get the core system working anyway.
    1.13 +
    1.14 +<p> 
    1.15 +
    1.16 +For a complete system we recommend to run some recent version of
    1.17 +Linux.
    1.18 +
    1.19  <p>