8 Commits

Include renames

Author	SHA1	Message	Date
krasimir	4df7b04935	revert the TranslateApp to its classical simple variant	2010-08-24 15:17:11 +00:00
krasimir	34c252d974	remove Editor.css as well	2010-08-24 15:04:34 +00:00
krasimir	bd3c833b14	remove the canParse flag from the GWT applications	2010-08-24 14:59:59 +00:00
krasimir	af137d65a5	remove the experimental GWT EditorApp	2010-08-24 14:41:37 +00:00
krasimir	4fdd21f127	detailed information for the type errors from PGFService	2010-07-13 15:33:54 +00:00
krasimir	3c10d0ce44	updates in the Eclipse project for GWT UI	2010-07-08 16:50:51 +00:00
krasimir	c671399014	update the shell scripts and some other configuration files for GWT 2.0.4	2010-07-08 12:03:36 +00:00
krasimir	9953091888	add src/ui folder for both Android and GWT UIs	2010-07-08 10:06:26 +00:00