README
changeset 93 082f40a66fd3
parent 86 3406bd994306
child 94 40f292719398
equal deleted inserted replaced
92:7252e7699e24 93:082f40a66fd3
    46 The directory Pure containes pure Isabelle, which has no object-logic.
    46 The directory Pure containes pure Isabelle, which has no object-logic.
    47 
    47 
    48 Other important files include...
    48 Other important files include...
    49   COPYRIGHT   		Copyright notice and Disclaimer of Warranty
    49   COPYRIGHT   		Copyright notice and Disclaimer of Warranty
    50   make-all		shell script for building entire system
    50   make-all		shell script for building entire system
       
    51   change_simp		shell script to help convert sources to new simplifier
    51   expandshort		shell script to expand "shortcuts" in files
    52   expandshort		shell script to expand "shortcuts" in files
    52   prove_goal.el       	Emacs command to change proof format
    53   prove_goal.el       	Emacs command to change proof format
    53   xlisten		shell script for running Isabelle under X
    54   xlisten		shell script for running Isabelle under X
    54   teeinput		shell script to run Isabelle, logging inputs to a file
    55   teeinput		shell script to run Isabelle, logging inputs to a file
    55   Pure			directory of source files for Pure Isabelle
    56   Pure			directory of source files for Pure Isabelle
    95 research.att.com; login as anonymous with your userid as password; set
    96 research.att.com; login as anonymous with your userid as password; set
    96 binary mode; transfer files from the directory dist/ml.
    97 binary mode; transfer files from the directory dist/ml.
    97 
    98 
    98 ------------------------------------------------------------------------------
    99 ------------------------------------------------------------------------------
    99 
   100 
   100 Please report any problems you encounter.  While we will try to be helpful,
   101 Please report any problems you encounter.  While we shall try to be helpful,
   101 we can accept no responsibility for the deficiences of Isabelle amd their
   102 we can accept no responsibility for the deficiences of Isabelle and their
   102 consequences.
   103 consequences.
   103 
   104 
   104 Lawrence C Paulson		E-mail: lcp@cl.cam.ac.uk
   105 Lawrence C Paulson		E-mail: lcp@cl.cam.ac.uk
   105 Computer Laboratory 		Phone: +44-223-334600
   106 Computer Laboratory 		Phone: +44-223-334600
   106 University of Cambridge 	Fax:   +44-223-334748 
   107 University of Cambridge 	Fax:   +44-223-334748 
   113 T. U. Muenchen			Fax:   +49-89-2105-8183
   114 T. U. Muenchen			Fax:   +49-89-2105-8183
   114 Postfach 20 24 20
   115 Postfach 20 24 20
   115 D-8000 Muenchen 2
   116 D-8000 Muenchen 2
   116 Germany
   117 Germany
   117 
   118 
   118 Last updated 28 October 1993
   119 Last updated 5 November 1993