12 Commits

Include renames

Author	SHA1	Message	Date
krasimir	fdcec4273c	add Magnet.getWord()	2010-09-29 13:47:51 +00:00
krasimir	8d37ed015e	added compilation scripts for the editor	2010-09-29 13:32:23 +00:00
krasimir	3b11f81c6b	initial import of the new GF editor. Note: the FridgeApp is temporary broken. It will be fixed with the next patch	2010-09-29 13:17:48 +00:00
krasimir	d3a6866277	more advanced complete function in the PGFService	2010-08-24 15:58:22 +00:00
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