kr.angelov 288bcafb79 nonExist now does the expected thing

2013-08-23 13:17:45 +00:00

..

Coordination.gf

in prelude/Coordination.gf Type --> PType

2011-12-02 10:53:49 +00:00

Formal.gf

prefix and postfix in lib Formal

2010-08-30 09:34:45 +00:00

HTML.gf

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

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

Latex.gf

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

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

Maybe.gf

Add Maybe.gf to prelude folder

2013-06-24 09:35:30 +00:00

Precedence.gf

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

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

Predef.gf

nonExist now does the expected thing

2013-08-23 13:17:45 +00: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

nonExist now does the expected thing

2013-08-23 13:17:45 +00:00