Index of /pub/users/hallgren/Alfa

      Name                    Last modified       Size  Description


[DIR] Parent Directory        27-Jan-2005 01:00      -  
[DIR] Alfa/                   25-Jul-2002 22:22      -  
[   ] BUGS                    10-Sep-1999 15:21     1k  
[DIR] Fudgets/                27-Jan-2005 01:03      -  
[DIR] Haskell/                20-Feb-2000 19:53      -  
[   ] HaskellSupport.frame..> 12-Apr-2003 20:39   290k  
[   ] alfa-010323-bin-i386..> 23-Mar-2001 13:12   1.6M  
[   ] alfa-010701-bin-i386..> 04-Sep-2001 19:56   2.1M  
[   ] alfa-010904-bin-spar..> 04-Sep-2001 20:45   2.6M  
[   ] alfa-010918-bin-i386..> 18-Sep-2001 21:20   1.6M  
[   ] alfa-020801-bin-i386..> 01-Aug-2002 22:26   2.4M  
[   ] alfa-030414-bin-powe..> 18-Apr-2003 00:37   2.6M  
[   ] alfa-030630-bin-i386..> 30-Jun-2003 18:40   2.3M  
[   ] alfa-030809-bin-i386..> 13-Aug-2003 02:34   2.3M  
[DIR] old/                    30-Jun-2003 18:41      -  
[DIR] tmp/                    09-Apr-2003 01:07      -  

Distributions of Alfa
=====================

This directory contains distributions of the proof assistant Alfa. Further
information about Alfa can be found on the web page:

	http://www.cs.chalmers.se/~hallgren/Alfa/

=== CONTENTS of this directory =================================================

  README.txt	This file.

  README.*.txt	Additional version/platform specific notes.

  BUGS		List of known BUGS. See also the web pages.

  Alfa/         A subdirectory containing some of the files also found
	        in the tar files. (To give you a preview of what you get.)

  Alfa/README   Installation instructions, etc.

  alfa-<date>-bin-<arch>-<os>-<version>.tar.gz
		Binary distributions of Alfa for various platforms.

		<date> is the release date. The HISTORY web page lists
			what features were added on what date.

		<arch> is the processor architecture
			i386 means any Intel i386 compatible processor.
			sparc means any Sparc processor.

		<os> is the operating system

		<version> is the OS version
			The version indicates under what version of the OS
			Alfa was compiled. It may run on other versions:

		    SunOS-5.6
			This version probably works on SunOS 5.x, x>=4
			Try the SUNOS-4.1.3 version if you have SunOS 4.x.

		    LinuxELF-2.x
			This binary should work on any Linux system
			with kernel 2.2 or later. It might also work on systems
			like NetBSD and FreeBSD, which provide Linux emulation.
			No particluar Linux libraries are need, since these
			versions of Alfa are statically linked!

		    Linux-RedHat6
			This binary was compiled under RedHat 6.2.
			It should work under RedHat 6.x, RedHat 7.x and
			possibly other Linux distributions.

		    Linux-RedHat7
			This binary was compiled under RedHat 7.2.
			It should work under RedHat 7.x, RedHat 8.x and
			possibly other Linux distributions.

		    MacOSX
			See the README.MacOSX.txt file.

  alfa-<date>-src.tar.gz (not updated recently)
		Source code for Alfa. To compile it, you need:

		+ The Fudgets library (GUI stuff) version h13q or later.
                  See Fudgets subdirectory.

		+ HBC 0.9999.5 or later (other Haskell 98 compilers
	          might work, but we haven't checked.)
                  See the Haskell subdirectory.

  old/		A subdirectory with older distributions.

  Haskell/	Link to the Haskell compiler HBC.

  Fudgets/	Link to Fudgets.

=== DOCUMENTATION ==============================================================

The documentation of Alfa is available on

	http://www.cs.chalmers.se/~hallgren/Alfa/

=== WARNINGS ===================================================================

NOTE that Alfa is still in an early stage of development. Read the warnings on
the web pages!

=== CONTACT ===================================================================

Thomas Hallgren
http://www.cs.chalmers.se/~hallgren/