diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-03-06 21:27:14 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-03-06 21:27:14 +0000 |
| commit | 27508654c01c5ebad3c495629ccbd49c067429ab (patch) | |
| tree | 440e4ec729664e71a29e8d33d8fdcb7af3757a15 /src/GF/Devel/README-testgf3 | |
| parent | fe863958533cd905939241e6fa50af439058cf5a (diff) | |
option -mac to vt command (uses open with ps)
Diffstat (limited to 'src/GF/Devel/README-testgf3')
| -rw-r--r-- | src/GF/Devel/README-testgf3 | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/GF/Devel/README-testgf3 b/src/GF/Devel/README-testgf3 index 15f1be449..0d1b6e80a 100644 --- a/src/GF/Devel/README-testgf3 +++ b/src/GF/Devel/README-testgf3 @@ -34,3 +34,16 @@ More options (debugging flags): -4 -- ... type checking -5 -- ... refreshing +==Compiler Phases== + +LexGF +ParGF +SourceToGF +Extend +Rename +CheckGrammar +Refresh +Optimize +Factorize +GFtoGFCC + |