# Index for magic
# November 13, 1989
lib magic/doc
lib magic/monmacs
for parts of the Argonne Monitor Macros package which are relevant to MaGIC.
lib magic/mstuff
for help files (called *.show) and data
file magic/magic.u
file magic/magic.h
file magic/magic.m4
file magic/makefile
file magic/readme
file magic/tr.c
file magic/dialog.c
file magic/isom.c
file magic/lid.c
file magic/logic.c
file magic/logic_io_p.c
file magic/logic_io_s.c
file magic/logic_set.c
file magic/logic_test.c
file magic/magic.man
file magic/mp_parse.c
file magic/setup.c
# MaGIC is a program which finds matrices for implication
# connectives for various types of logics. MaGIC has been
# written by John Slaney from the Automated Reasoning Project,
# The Research School of Social Sciences, The Australian
# National University.
#
#
# This version of magic has been written using the
# Argonne Monitor Macros package for portable parallel pro-
# gramming. The part required to compile magic has been
# attached so that you do not have to have these macros
# installed on your system.
#
# Before compilation and installation edit the Makefile
# in the main directory of magic. On most systems only the top
# few lines of the Makefile may require editing. And so: BIN
# defines where magic's binaries will go, MAGLIB defines the
# directory in which magic's auxiliary files will be
# installed. The manual will be installed in
# $(MANROOT)/man$(MANSECT) as magic.$(MANSECT).Z, and the for-
# matted version of the manual will go to
# $(MANROOT)/cat$(MANSECT). If you intend to place the auxili-
# ary files and manual pages in different locations you should
# edit magic.man so that the manual page would properly point
# to file locations, and that the manual section (which is
# "L") is also correct. Also, remember that under Dynix the
# manual is compressed. If you don't run Dynix you will have
# to comment out two lines from the installation part which
# compress the manual.
#
# On our system binary files and manual pages are
# writable to the group. This is reflected in variables
# MANDMDE, MANMODE, and BINMODE - modify these if you don't
# want the group to be allowed to write on magic's binaries
# and libraries.
#
# To read the command line, magic uses AT&T's function
# getopt. Under Dynix this means that you will have to use
# -lseq library during linking. Make sure that -lseq is
# included in CLIBS if you run Dynix.
#
# The Argonne Monitor Macros reside in ./monmacs. They
# will be made during installation. If you prefer to use your
# own version of these macros - redefine MACDIR to point to
# your directory. Note that these are the macros for Sequent
# Symmetry. You will have to use different sets of macros for
# different machines.
#
# Once you are happy with the Makefile, type
#
# make
#
# and then if there were no problems with compilation and
# linking, type
#
# make install
#
# to install magic, magic's libraries and the manual page.
#
# To clean up the source directory type
#
# make clean
#
# To remove magic, its libraries and manual pages type
#
# make deinstall
#
#
#
# Refer to the documentation in ./doc which describes how
# to run magic. These documents should be formatted with
# LaTeX. There is one ecial in the file ./doc/user_guide.tex.
# It works fine with with dvi2ps, which is part of tex82 dis-
# tribution. The file which is included is ./doc/xmagic.ps.
# To format the documentation change to ./doc and type
#
# latex MaGIC
#
# or
#
# format
#
#
# Note that you can also run magic over the network using
# an X Windows based front end: xmagic.
#
#
# In case of problems with installation and/or running of
# magic contact John Slaney or Gustav Meglicki from the
#
# Automated Reasoning Project,
# The Research School of Social Sciences,
# The Australian National University,
# G.P.O. Box 4, Canberra, A.C.T. 2601,
# Australia
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
# November 13, 1989
#
#
#
.