README.old
author wenzelm
Fri, 23 May 1997 18:55:28 +0200
changeset 3322 bc4d107fb6dd
parent 3252 68c7a70daa16
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3252
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
     1
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
     2
***************************************************************************
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
     3
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
     4
IMPORTANT NOTE: This is the old README. The installation procedure
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
     5
described below basically still works for Isabelle94-8, but will be
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
     6
phased out next time.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
     7
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
     8
***************************************************************************
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
     9
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    10
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    11
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    12
		     ISABELLE-94 DISTRIBUTION DIRECTORY
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    13
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    14
------------------------------------------------------------------------------
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    15
ISABELLE-94 IS INCOMPATIBLE WITH EARLIER VERSIONS.  PLEASE CONSULT THE
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    16
DOCUMENTATION.  
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    17
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    18
In particular, theory files are no longer forced into lower case, but must
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    19
be identical to the actual theory name.  See the script
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    20
conv-theory-files.pl on directory Tools.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    21
------------------------------------------------------------------------------
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    22
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    23
This directory contains the complete Isabelle system.  To build and test
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    24
all the Isabelle object-logics, use the shell script make-all (on directory
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    25
Tools).  Pure Isabelle and each of the object-logics can be built
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    26
separately using the Makefiles in the respective directories; read them for
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    27
more information.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    28
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    29
			HOW TO BUILD ISABELLE
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    30
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    31
Here are brief instructions.  For more detail, read further.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    32
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    33
1.  Create a directory to hold the Isabelle executable images.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    34
    Set the environment variable ISABELLEBIN to its full (absolute) pathname.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    35
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    36
2.  Set the environment variable ISABELLECOMP to the command to execute your
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    37
    Standard ML compiler.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    38
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    39
3.  If using Poly/ML, set the environment variable ML_DBASE to the full 
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    40
    pathname of the empty Poly/ML database.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    41
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    42
4.  Change your working directory to that containing this file.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    43
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    44
5a. To build ALL logics and run examples, type "make-all" and wait up to 
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    45
    10 hours.  Standard ML of New Jersey will require up to 200M
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    46
    of disc space!  Poly/ML will require about 25M.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    47
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    48
-OR-
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    49
5b. To build ALL logics but run no examples, type "make-all -notest".  This
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    50
    is much faster than 5a but needs just as much disc space.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    51
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    52
-OR-
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    53
5c. To build just one logic, such as HOL, change to directory HOL and type
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    54
    "make" or "make test".  This may trigger further Makes automatically.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    55
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    56
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    57
			SUITABLE ML COMPILERS
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    58
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    59
You can use two different Standard ML compilers: Poly/ML version 2.03 or later
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    60
(from Abstract Hardware Ltd) and Standard ML of New Jersey (Version 0.93 or
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    61
later).  Poly/ML is a commercial product and costs money, but it is stable and
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    62
efficient; moreover its database system is convenient for interactive work.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    63
SML/NJ needs lots of store and disc space, but it is free.  Some recent
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    64
versions of SML/NJ are significantly faster than 0.93, but beware of many
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    65
incompatibilities among them; you might be forced to edit the file
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    66
Pure/NJ1xx.ML.  VERSIONS BETWEEN 109.16 AND 109.21 ARE VERY SLOW.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    67
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    68
To obtain Poly/ML, contact Abstract Hardware Ltd, The Howell Building, Brunel
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    69
University, Uxbridge UB8 3PH, England, email lambda@ahl.co.uk.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    70
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    71
To obtain Standard ML of New Jersey, see the Web page 
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    72
	http://cm.bell-labs.com/cm/cs/what/smlnj/software.html
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    73
or send email to sml-nj@research.bell-labs.com.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    74
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    75
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    76
			ENVIRONMENT VARIABLES
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    77
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    78
The Makefiles and make-all use environment variables that you should set
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    79
according to your site configuration.  See file Tools/make-all-nj for an
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    80
example using the Bourne shell, sh.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    81
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    82
ISABELLEBIN is the directory to hold Poly/ML databases or New Jersey ML
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    83
images.  This directory *must* be different from the Isabelle source
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    84
directory.  ISABELLEBIN must be an absolute pathname (one starting with "/").
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    85
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    86
ML_DBASE is an *absolute* pathname to the initial Poly/ML database.  It is not
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    87
required for New Jersey ML.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    88
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    89
ISABELLECOMP is the command to run ML compiler, typically "/bin/sml" or "poly
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    90
-noDisplay -h 15000".  (The -h switch to Poly specifies an initial heap
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    91
allocation, which you should consider increasing if a command fails with the
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    92
message "Run out of store".)  Please DO NOT use a command such as
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    93
"sml @SMLdebug=/dev/null", since the pathname after "sml" will confuse the
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    94
Makefiles. 
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    95
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    96
If, after stripping a leading pathname, the compiler begins with the letters
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    97
"poly" then the Makefiles assume Poly/ML.  If it begins with the letters "sml"
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    98
then they assume Standard ML of New Jersey.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
    99
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   100
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   101
			 STRUCTURE OF THIS DIRECTORY
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   102
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   103
Important files include...
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   104
  COPYRIGHT 	Copyright notice and Disclaimer of Warranty
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   105
  Pure		contains source files for Pure Isabelle (no object-logic)
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   106
  Provers	contains generic theorem provers: simplifier, etc.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   107
  Tools		contains shell scripts and utilities 
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   108
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   109
The following subdirectories contain object-logics:
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   110
  FOL 		natural deduction First-Order Logic 
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   111
			(intuitionistic and classical versions)
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   112
  FOLP 		First-Order Logic with Proof terms
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   113
  ZF		Zermelo-Fraenkel set theory
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   114
  HOL		Classical Higher-Order Logic
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   115
  LCF		Logic for Computable Functions (domain theory) built upon FOL
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   116
  HOLCF		A version of LCF built upon HOL
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   117
  CTT		Constructive Type Theory
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   118
  Sequents	Sequent calcul: first-order logic
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   119
				modal logics T, S4, S43
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   120
				intuitionistic linear logic
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   121
  CCL		Martin Coen's Classical Computational Logic
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   122
  Cube		Barendregt's Lambda Cube
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   123
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   124
David Aspinall has written a user interface for Isabelle.  It runs under
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   125
GNU Emacs.  It's useful to both novices and experts.  You can get it by ftp
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   126
from ftp.dcs.ed.ac.uk, file /pub/da/Isamode.tar.gz.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   127
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   128
Object-logics include examples files in subdirectory ex or file ex.ML.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   129
These files can be loaded in batch mode.  The commands can also be
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   130
executed interactively, using the windows on your workstation.  This is a
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   131
good way to get started.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   132
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   133
Each object-logic is built on top of Pure Isabelle, and possibly on top of
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   134
another object logic like FOL or HOL.  A database or binary called Pure is
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   135
first created, then the object-logic is loaded on top.  Poly/ML extends
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   136
Pure using its "make_database" operation.  Standard ML of New Jersey starts
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   137
with the Pure core image and loads the object-logic's ROOT.ML.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   138
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   139
------------------------------------------------------------------------------
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   140
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   141
The electronic mailing list isabelle-users@cl.cam.ac.uk provides a forum
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   142
for Isabelle users to discuss problems and exchange information.  To join,
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   143
send a message to isabelle-users-request@cl.cam.ac.uk.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   144
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   145
------------------------------------------------------------------------------
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   146
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   147
Please report any problems you encounter.  While we shall try to be helpful,
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   148
we can accept no responsibility for the deficiences of Isabelle and their
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   149
consequences.
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   150
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   151
Lawrence C Paulson		E-mail: lcp@cl.cam.ac.uk
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   152
Computer Laboratory 		Phone: +44-223-334600
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   153
University of Cambridge 	Fax:   +44-223-334748 
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   154
Pembroke Street 
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   155
Cambridge CB2 3QG 
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   156
England
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   157
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   158
Tobias Nipkow			E-mail: nipkow@informatik.tu-muenchen.de
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   159
Institut für Informatik		Phone: +49-89-2105-2690
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   160
T. U. München			Fax:   +49-89-2105-8183
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   161
D-80290 München
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   162
Germany
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   163
68c7a70daa16 IMPORTANT NOTE: This is the old README.
wenzelm
parents:
diff changeset
   164
$Id$