8 Commits

Include renames

Author	SHA1	Message	Date
krasimir	19a2c993d6	remove Editor.css as well	2010-08-24 15:04:34 +00:00
krasimir	fae3df9d1f	remove the canParse flag from the GWT applications	2010-08-24 14:59:59 +00:00
krasimir	4d1dea1b40	remove the experimental GWT EditorApp	2010-08-24 14:41:37 +00:00
krasimir	b57dda5d94	detailed information for the type errors from PGFService	2010-07-13 15:33:54 +00:00
krasimir	e1e492cc5f	updates in the Eclipse project for GWT UI	2010-07-08 16:50:51 +00:00
krasimir	d0ce81a02c	update the shell scripts and some other configuration files for GWT 2.0.4	2010-07-08 12:03:36 +00:00
krasimir	c4a00695db	update the package name for the Android UI	2010-07-08 10:26:10 +00:00
krasimir	4539830212	add src/ui folder for both Android and GWT UIs	2010-07-08 10:06:26 +00:00