/[mojave]/metaprl/theories/ocaml_doc/ocaml_doc_name1.ml
ViewVC logotype

Log of /metaprl/theories/ocaml_doc/ocaml_doc_name1.ml

Parent Directory Parent Directory | Revision Log Revision Log


Sticky Revision:
(Current path doesn't exist after revision 9228)

Revision 3584 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 25 15:28:40 2002 UTC (19 years, 2 months ago) by nogin
File length: 11164 byte(s)
Diff to previous 3362
- 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.


Revision 3362 - (view) (download) (annotate) - [select for diffs]
Added Mon Aug 6 16:25:57 2001 UTC (19 years, 10 months ago) by jyh
File length: 11167 byte(s)
Added the OCaml book I wrote December 2000.  Still needs some work
on typos etc.


This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.26