/[mojave]/metaprl/theories/mc/mp_mc_theory.mlz
ViewVC logotype

Diff of /metaprl/theories/mc/mp_mc_theory.mlz

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3591 by emre, Sat Apr 27 02:45:24 2002 UTC revision 3592 by emre, Mon Apr 29 23:15:57 2002 UTC
# Line 2  Line 2 
2   * @begin[doc]   * @begin[doc]
3   * @theory[Mp_mc_theory]   * @theory[Mp_mc_theory]
4   *   *
5   * The @tt{Mp_mc_theory} module is provided as a convinience.   * The MC theory (all it's modules have the ``Mp_mc_'' prefix) attempts
6     * to formalize the Mojave Compiler's (MC) functional intermediate
7     * representation (FIR).
8     *
9     * (Documentation incomplete.  I should put the theory overview here.)
10     *
11     * The @tt{Mp_mc_theory} module itself is provided as a convinience.
12   * It simply includes all the modules that make up the MC theory.   * It simply includes all the modules that make up the MC theory.
13   * @end[doc]   * @end[doc]
14   *   *

Legend:
Removed from v.3591  
changed lines
  Added in v.3592

  ViewVC Help
Powered by ViewVC 1.1.26