*** empty log message ***
authorwenzelm
Mon Nov 22 12:08:45 1993 +0100 (1993-11-22)
changeset 137ad5414f5540c
parent 136 a9015b16a0e5
child 138 9ba8bff1addc
*** empty log message ***
doc-src/MacroHints
     1.1 --- a/doc-src/MacroHints	Mon Nov 22 11:28:25 1993 +0100
     1.2 +++ b/doc-src/MacroHints	Mon Nov 22 12:08:45 1993 +0100
     1.3 @@ -3,11 +3,13 @@
     1.4  =====
     1.5  
     1.6  22-Oct-1993 MMW
     1.7 +20-Nov-1993 MMW
     1.8  
     1.9  Some things notable, but not (yet?) covered by the manual.
    1.10  
    1.11  
    1.12 -- constants of result type prop should always supply concrete syntax;
    1.13 +- constants of result type prop should always supply concrete syntax
    1.14 +  (elaborate on this in last sect of 'Defining Logics' (?));
    1.15  
    1.16  - 'Variable --> Constant' possible during rewriting;
    1.17  
    1.18 @@ -18,7 +20,8 @@
    1.19    which it is *not*): "@x. P" == "Eps(%x. P)", now the print rule doesn't
    1.20    match things like Eps(%x. P, a, b, c);
    1.21  
    1.22 -- alpha: the precise manner in which bounds are renamed for printing;
    1.23 +- alpha: document the precise manner in which bounds are renamed for
    1.24 +  printing;
    1.25  
    1.26  - parsing: applications like f(x)(y)(z) are not parse-ast-translated into
    1.27    (f x y z); this may cause some problems, when the notation "f x y z" for