krasimir aa64592e37 store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet

2010-03-22 21:15:29 +00:00

..

Coordination.gf

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

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

Formal.gf

store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet

2010-03-22 21:15:29 +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

Precedence.gf

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

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

Predef.gf

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

2009-06-22 15:39:08 +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

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

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