hallgren 312c13c2d8 Make noexpand the default optimization package when configuring with -fcclazy

2011-09-09 13:50:38 +00:00

..

compiler

Make noexpand the default optimization package when configuring with -fcclazy

2011-09-09 13:50:38 +00:00

editor/simple

gfse: fix an issue with Webkit browers

2011-08-17 15:41:57 +00:00

runtime

bugfixes in the typechecker and the tree generator

2011-08-30 11:24:59 +00:00

server

pgf-http: fix a bug that caused "+" to be treaded as " " in PGF service requests URLs.

2011-08-25 16:58:17 +00:00

tools

two examples of the .gfm format

2010-11-30 14:54:03 +00:00

ui

fix the grammar browser in the editor

2011-03-08 12:32:51 +00:00