Aarne Ranta 710e73688d in Formal.usePrec, removed variant parenthOpt for a better control of parentheses ; use Formal.parenth explicitly if you want to parse superfluous parentheses

2024-07-29 17:44:05 +02:00

..

Coordination.gf

Add comments to Coordination.gf

2020-10-27 10:18:49 +01:00

Formal.gf

in Formal.usePrec, removed variant parenthOpt for a better control of parentheses ; use Formal.parenth explicitly if you want to parse superfluous parentheses

2024-07-29 17:44:05 +02:00

HTML.gf

a new abstract syntax in Documentation.gf which allows a more compact definition of the corresponding concrete syntax. The new strategy is so far used only in DocumentationEng and the new DocumentationBul.

2014-02-17 08:45:57 +00:00

Latex.gf

next-lib renamed to lib, lib to old-lib

2009-06-22 15:39:08 +00:00

Maybe.gf

Add Nothing' to Maybe.gf, including warning

2014-07-02 06:37:27 +00:00

Precedence.gf

next-lib renamed to lib, lib to old-lib

2009-06-22 15:39:08 +00:00

Predef.gf

Update path to where the Predef opers are defined

2021-01-16 01:41:47 +01:00

PredefAbs.gf

next-lib renamed to lib, lib to old-lib

2009-06-22 15:39:08 +00:00

PredefCnc.gf

next-lib renamed to lib, lib to old-lib

2009-06-22 15:39:08 +00:00

Prelude.gf

a constant Prelude.notYet to mark not yet implemented functions, with the purpose of enabling the compilation of the RGL API

2017-03-28 07:09:26 +00:00