/[mojave]
ViewVC logotype

Revision 3591


Jump to revision: Previous Next
Author: nogin
Date: Sun Apr 28 19:51:58 2002 UTC (19 years, 3 months ago)
Changed paths: 30
Log Message:
- Added an option to be have "THEORIES=all" in mk/config
(instead of THEORIES="long list of theories").
I will change all my nightly scripts to use THEORIES=all.

- Added mc to the default list of TEXTHEORIES. Added a file all-bodies.tex
that would automatically contain \inputs corresponding to TEXTHEORIES.
(Before this change we had to update all-theories.tex by hands whenever TEXTHEORIES
was changed).

- Minor fixes in some display forms.

- Removed theories/caml that never had anything useful.

- Removed a few files from theories/ocaml_doc that seemed to be there by accident
(Jason, can you confirm?).


Changed paths

Path Details
Directorymetaprl/Makefile modified , text changed
Directorymetaprl/doc/latex/theories/ modified , props changed
Directorymetaprl/doc/latex/theories/Makefile modified , text changed
Directorymetaprl/doc/latex/theories/all-theories.tex modified , text changed
Directorymetaprl/doc/latex/theories/itt/print.ml modified , text changed
Directorymetaprl/editor/ml/Makefile modified , text changed
Directorymetaprl/mk/make_config.sh modified , text changed
Directorymetaprl/mk/preface modified , text changed
Directorymetaprl/mllib/comment_parse.mll modified , text changed
Directorymetaprl/refiner/reflib/rformat.ml modified , text changed
Directorymetaprl/theories/caml/ deleted
Directorymetaprl/theories/czf/czf_itt_comment.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_fol.mlz modified , text changed
Directorymetaprl/theories/czf/czf_itt_inv_image.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_set_bvd.ml modified , text changed
Directorymetaprl/theories/itt/itt_bool.prla modified , text changed
Directorymetaprl/theories/itt/itt_collection.ml modified , text changed
Directorymetaprl/theories/itt/itt_comment.ml modified , text changed
Directorymetaprl/theories/itt/itt_rfun.ml modified , text changed
Directorymetaprl/theories/itt/itt_set.ml modified , text changed
Directorymetaprl/theories/itt/itt_struct2.ml modified , text changed
Directorymetaprl/theories/ocaml_doc/fset.ml deleted
Directorymetaprl/theories/ocaml_doc/fset.mli deleted
Directorymetaprl/theories/ocaml_doc/fset2.ml deleted
Directorymetaprl/theories/ocaml_doc/test.ml deleted
Directorymetaprl/theories/tactic/comment.ml modified , text changed
Directorymetaprl/theories/tactic/nuprl_font.ml modified , text changed
Directorymetaprl/theories/tactic/nuprl_font.mli modified , text changed
Directorymetaprl/theories/tactic/top_conversionals.ml modified , text changed
Directorytexinputs/metaprl.tex modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26