/[mojave]/metaprl/doc/latex/theories/mc/print.ml
ViewVC logotype

Log of /metaprl/doc/latex/theories/mc/print.ml

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 3592 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 29 23:15:57 2002 UTC (19 years, 1 month ago) by emre
File length: 1275 byte(s)
Diff to previous 3587
Some more documentation.  I'll be able to document more things
when the MC developers document their stuff a bit more.
I've changed the order in which the modules of the mc theory
are printed so that I can put an overview of the theory
in Mp_mc_theory and have that serve as an introduction to the
rest of the modules.  (This over view is not currently in there,
but should be on my next commit.)


Revision 3587 - (view) (download) (annotate) - [select for diffs]
Added Sat Apr 27 02:43:27 2002 UTC (19 years, 1 month ago) by emre
File length: 1275 byte(s)
Adding file to specify which modules to print documentation for.
(And adding .cvsignore to ignore generated files.)


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