21 Commits

Author	SHA1	Message	Date
krasimir	63ac5f5db6	improved Web UI for queries	2010-10-13 12:31:38 +00:00
krasimir	de0354f991	the exhaustive/random generator now knows how to handle computable functions in the types	2010-10-11 17:18:28 +00:00
krasimir	52cd3d5cbd	added dummy search box for documents	2010-10-07 16:18:45 +00:00
krasimir	339de4c281	use TabBar for the links in the upper-left corner of the editor	2010-10-07 15:09:59 +00:00
krasimir	5f84c53681	dummy UI for documents saving/loading in the editor	2010-10-07 14:09:08 +00:00
krasimir	72cc4ddb59	fixes in FridgeApp. now it is compatible with EditorApp	2010-09-30 08:08:57 +00:00
krasimir	3c3082f8ee	fix the compilation of FridgeApp	2010-09-29 14:15:36 +00:00
krasimir	35b14d26f3	restore the method BracketedString.render which was needed for TranslateApp	2010-09-29 13:53:13 +00:00
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	c0cccb26cb	update the package name for the Android UI	2010-07-08 10:26:10 +00:00
krasimir	9953091888	add src/ui folder for both Android and GWT UIs	2010-07-08 10:06:26 +00:00