diff options
| author | aarne <unknown> | 2004-08-03 15:21:01 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-08-03 15:21:01 +0000 |
| commit | 166a32b1e7b29263edb89a630a093fca38ca1909 (patch) | |
| tree | 05326b4f39d9de084957b1f2c84201bb934245b3 /grammars/prelude | |
| parent | a843c8e0ec91428fa138feedf73d80d6f936fb7e (diff) | |
testing grammar distr
Diffstat (limited to 'grammars/prelude')
| -rw-r--r-- | grammars/prelude/README | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/grammars/prelude/README b/grammars/prelude/README new file mode 100644 index 000000000..c499de763 --- /dev/null +++ b/grammars/prelude/README @@ -0,0 +1,20 @@ +Generic (i.e. language-independent) resources. + + Coordination -- building lists; used in resource/*/ + HTML -- printing with HTML formatting + Latex -- printing with Latex formatting + Precedence -- precedence levels and the use of parentheses + Predef -- type signatures of predefined opers + PredefAbs -- type signatures of predefined cats + Prelude -- useful string operations + +Predef and PredefAbs no longer have to be imported explicitly +in GF 2.0. + +Copyright (c) 2004 Aarne Ranta +under GNU General Public License (GPL). + +Document last updated August 3, 2004. + + + |