krasimir b57dda5d94 detailed information for the type errors from PGFService

2010-07-13 15:33:54 +00:00

..

compiler

report type errors in the shell from command "p"

2010-07-07 12:23:21 +00:00

runtime

fix the loopchecking in PGF.Forest.bracketedTokn

2010-07-13 12:04:06 +00:00

server

detailed information for the type errors from PGFService

2010-07-13 15:33:54 +00:00

tools

German phrasebook; ontology document; ignoring single lines in gfdoc

2010-04-08 20:31:32 +00:00

ui

detailed information for the type errors from PGFService

2010-07-13 15:33:54 +00:00