ViewVC logotype

Revision 3062

Jump to revision: Previous Next
Author: jyh
Date: Tue Sep 19 03:03:23 2000 UTC (20 years, 10 months ago)
Changed paths: 8
Log Message:
Sorry, the problem with the last commit was just because of the
theories/base/base_theory.mlz, which used @begin[tex] instead
of @begin[doc].  Everything should compile now.

Once it compiles, try using make in the doc/latex/theories
directory.  It should generate the file all-theories.pdf, which
is docs for all the modules, including tactics, rules, rewrites,
etc.  There is an index that you can use to jump to the documentation
for any particular tactic, etc.

Changed paths

Path Details
Directorymetaprl/doc/latex/theories/Makefile modified , text changed
Directorymetaprl/doc/latex/theories/all-theories.bbl deleted
Directorymetaprl/doc/latex/theories/all-theories.tex modified , text changed
Directorymetaprl/mllib/comment_parse.mll modified , text changed
Directorymetaprl/refiner/reflib/jtunify.ml modified , text changed
Directorymetaprl/theories/base/base_theory.mlz modified , text changed
Directorymetaprl/theories/fol/fol_not.prlb modified , text changed
Directorymetaprl/theories/fol/fol_theory.prlb modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26