 kr.angelov
|
c684ab30a7
|
fix in Android.mk to make sure that the Android build will always see the ARM headers of GNU lightning
|
2013-09-12 12:55:55 +00:00 |
|
|
kr.angelov
|
9c3dd1e1e1
|
remove the logging from libgu
|
2013-09-12 09:30:02 +00:00 |
|
|
kr.angelov
|
2105188bd0
|
enable the PGF JIT compiler for Android
|
2013-09-12 09:05:43 +00:00 |
|
|
kr.angelov
|
14f8b96b56
|
remove the string internalization since it slows down grammar loading with little benefit
|
2013-09-05 13:34:49 +00:00 |
|
|
kr.angelov
|
46f2460a92
|
move src/runtime/android to src/ui/android/jni
|
2013-09-05 12:19:59 +00:00 |
|
|
kr.angelov
|
7c000467c9
|
updated files src/ui/android
|
2013-09-04 13:34:44 +00:00 |
|
|
krasimir
|
18519c20fd
|
fix the grammar browser in the editor
|
2011-03-08 12:32:51 +00:00 |
|
|
krasimir
|
42ad2d5e95
|
the user can now upload their own grammars in the editor
|
2011-03-07 21:05:29 +00:00 |
|
|
krasimir
|
c8b6192128
|
The GF editor now lets the user to upload his/her own grammars
|
2010-12-28 16:26:10 +00:00 |
|
|
krasimir
|
fb722fe8e2
|
added GrammarsPanel in the GF editor
|
2010-12-22 13:51:26 +00:00 |
|
|
krasimir
|
7a2ab26f9f
|
forgot to add ContentService.java in the GF Editor
|
2010-11-17 10:46:00 +00:00 |
|
|
krasimir
|
f86ed9677a
|
fix the history management in the editor
|
2010-11-07 16:17:15 +00:00 |
|
|
krasimir
|
ad28e99f35
|
preliminary UI for storage/retrieval/search of documents in the GF editor
|
2010-11-01 09:25:22 +00:00 |
|
|
krasimir
|
5ff6489013
|
WebUI: show error when depth/limit has invalid value
|
2010-10-13 12:53:42 +00:00 |
|
|
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 |
|