summaryrefslogtreecommitdiff
path: root/src/ui/gwt
AgeCommit message (Expand)Author
2018-11-15Remove `src/ui` folder, moved to:John J. Camilleri
2011-03-08fix the grammar browser in the editorkrasimir
2011-03-07the user can now upload their own grammars in the editorkrasimir
2010-12-28The GF editor now lets the user to upload his/her own grammarskrasimir
2010-12-22added GrammarsPanel in the GF editorkrasimir
2010-11-17forgot to add ContentService.java in the GF Editorkrasimir
2010-11-07fix the history management in the editorkrasimir
2010-11-01preliminary UI for storage/retrieval/search of documents in the GF editorkrasimir
2010-10-13WebUI: show error when depth/limit has invalid valuekrasimir
2010-10-13improved Web UI for querieskrasimir
2010-10-11the exhaustive/random generator now knows how to handle computable functions ...krasimir
2010-10-07added dummy search box for documentskrasimir
2010-10-07use TabBar for the links in the upper-left corner of the editorkrasimir
2010-10-07dummy UI for documents saving/loading in the editorkrasimir
2010-09-30fixes in FridgeApp. now it is compatible with EditorAppkrasimir
2010-09-29fix the compilation of FridgeAppkrasimir
2010-09-29restore the method BracketedString.render which was needed for TranslateAppkrasimir
2010-09-29add Magnet.getWord()krasimir
2010-09-29added compilation scripts for the editorkrasimir
2010-09-29initial import of the new GF editor. Note: the FridgeApp is temporary broken....krasimir
2010-08-24more advanced complete function in the PGFServicekrasimir
2010-08-24revert the TranslateApp to its classical simple variantkrasimir
2010-08-24remove Editor.css as wellkrasimir
2010-08-24remove the canParse flag from the GWT applicationskrasimir
2010-08-24remove the experimental GWT EditorAppkrasimir
2010-07-13detailed information for the type errors from PGFServicekrasimir
2010-07-08updates in the Eclipse project for GWT UIkrasimir
2010-07-08update the shell scripts and some other configuration files for GWT 2.0.4krasimir
2010-07-08add src/ui folder for both Android and GWT UIskrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 09:32:27 +0000