aarne f8c4903285 overloaded opers included in sorting of judgements

2011-03-03 15:10:31 +00:00

..

GF

overloaded opers included in sorting of judgements

2011-03-03 15:10:31 +00:00

GF.hs

use the native unicode support from GHC 6.12

2010-04-19 09:38:36 +00:00

GFC.hs

shell command pg -pgf writes current pgf into a file

2010-12-07 16:05:37 +00:00

GFI.hs

the command show_operations to inspect opers in scope

2011-02-28 13:31:04 +00:00