bjorn 5dbace4cc2 Rename the GWT Translate module to PGF. Rename the GF class to PGF.

2008-10-22 12:05:59 +00:00

..

src/se/chalmers/cs/gf/gwt

Rename the GWT Translate module to PGF. Rename the GF class to PGF.

2008-10-22 12:05:59 +00:00

www/se.chalmers.cs.gf.gwt.TranslateApp

New compiled GWT stuff.

2008-10-22 09:37:06 +00:00

Translate-compile

Change GWT compilation scripts to make it easier to change the GWT dir location.

2008-10-22 11:19:12 +00:00

Translate-shell

Change GWT compilation scripts to make it easier to change the GWT dir location.

2008-10-22 11:19:12 +00:00

Translate-shell-external

Change GWT compilation scripts to make it easier to change the GWT dir location.

2008-10-22 11:19:12 +00:00