/[mojave]
ViewVC logotype

Revision 3584


Jump to revision: Previous Next
Author: nogin
Date: Thu Apr 25 15:28:40 2002 UTC (19 years, 3 months ago)
Changed paths: 28
Log Message:
- Added the comment module to the theories.pdf ("make latex").

- Added a hack allowing to override a theory display with another theory's
display. This is necessary for bootstrapping reasons - it allows one
to get a reasonable output of a theory (e.g. Comment) that is defined before
all essential display forms (e.g. the Summary ones) are there.

- Added debugging code to make it easier to find dforms that cause
zone begin/end mismatch (and used it to get rid of all
the "Unballanced buffer" warnings in "make latex").

- Minor dforms&comments updates.


Changed paths

Path Details
Directorymetaprl/doc/latex/theories/base/print.ml modified , text changed
Directorymetaprl/editor/ml/shell.ml modified , text changed
Directorymetaprl/filter/base/filter_cache_fun.ml modified , text changed
Directorymetaprl/refiner/reflib/dform.ml modified , text changed
Directorymetaprl/refiner/reflib/rformat.ml modified , text changed
Directorymetaprl/refiner/reflib/rformat.mli modified , text changed
Directorymetaprl/refiner/reflib/theory.ml modified , text changed
Directorymetaprl/refiner/reflib/theory.mli modified , text changed
Directorymetaprl/theories/base/base_rewrite.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_axioms.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_isect.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_power.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_rel.ml modified , text changed
Directorymetaprl/theories/itt/itt_bool.ml modified , text changed
Directorymetaprl/theories/itt/itt_comment.ml modified , text changed
Directorymetaprl/theories/itt/itt_list2.ml modified , text changed
Directorymetaprl/theories/itt/itt_logic.ml modified , text changed
Directorymetaprl/theories/itt/itt_rfun.ml modified , text changed
Directorymetaprl/theories/itt/itt_theory.ml modified , text changed
Directorymetaprl/theories/itt/itt_well_founded.ml modified , text changed
Directorymetaprl/theories/ocaml_doc/ocaml_doc_name1.ml modified , text changed
Directorymetaprl/theories/ocaml_doc/ocaml_doc_var1.ml modified , text changed
Directorymetaprl/theories/tactic/comment.ml modified , text changed
Directorymetaprl/theories/tactic/mptop.ml modified , text changed
Directorymetaprl/theories/tactic/tactic_cache.ml modified , text changed
Directorymetaprl/theories/tactic/top_conversionals.ml modified , text changed
Directorymetaprl/theories/tactic/top_tacticals.ml modified , text changed
Directorytexinputs/metaprl.tex modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26