Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/8bit/man/man1/gen-isa2latex.1
author paulson
Tue, 16 Jul 1996 15:49:46 +0200
changeset 1868 836950047d85
parent 1826 2a2c0dbeb4ac
permissions -rwxr-xr-x
Put in minimal simpset to avoid excessive simplification, just as in revision 1.9 of HOL/indrule.ML

.TH GEN-ISA2LATEX 1 "March 30, 1995"
.AT 3
.SH NAME
gen-isa2latex \- a perl 4.x script
.SH SYNOPSIS
.B gen-isa2latex [options] tablefile 
.SH DESCRIPTION
.I gen-isa2latex
generates an new converter for the Isabelle 8bit font. 
See the file \fIconv-table.inp\fP in the directory
\fIconfig\fP of the 8bit package for an example of a table file. It contains a
lot of comments and is self explanatory.

Options must be seperated by blanks.
.SH OPTIONS
.TP 5
.B \-d "\t"
turn on debug mode. The script will tell you what it is doing.

.TP 5
.B \-dd "\t"
turn on deep debug mode. This is very verbose.

.SH ENVIRONMENT
No environment variables are used.
.SH FILES
None.
.SH AUTHOR
Franz Regensburger
.SH "SEE ALSO"

.SH DIAGNOSTICS

.SH BUGS
isabelle