hallgren
2e2d190fd4
Bug fix in minibar.js: no translations where shown when using option show_grouped_translations: false
...
This affected minibar.html but not phrasebook.html and was
caused by accidental shadowing of function tr in function show_translations.
2010-07-13 11:35:28 +00:00
hallgren
d0954d2f20
Make minibar.js work again after backwards incompatible changes to the data structures output by pgf-server.
...
The canParse field was removed without notice.
2010-07-13 10:22:03 +00:00
krasimir
647b5ffff2
bugfix in the decoding of literals in PGF.Binary
2010-07-13 08:24:03 +00:00
krasimir
d7f76c6d62
for some reason the concrete syntax for MidLevelOntology was not in darcs
2010-07-13 08:04:53 +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
krasimir
be06bc8a09
change the package name of the GWT Apps to org.grammaticalframework.ui.gwt
2010-07-08 09:55:09 +00:00
krasimir
faf816dbac
upgrade to GWT 2.0.4
2010-07-08 09:32:17 +00:00
krasimir
027c14dcbb
FridgeApp and TranslateApp now show the type errors
2010-07-08 07:57:36 +00:00
krasimir
ef4b068902
fix PGFService after the change in the parser API
2010-07-07 14:46:24 +00:00
krasimir
95f1d40c56
report type errors in the shell from command "p"
2010-07-07 12:23:21 +00:00
krasimir
c066721dd1
fix in example/tutorial/smart/SmartFre.gf to make the dependent types work nicely
2010-07-07 10:12:08 +00:00
krasimir
2cd3523d04
simplify the monad TcM
2010-07-07 07:19:56 +00:00
hallgren
c1245d53cd
Access keys for input fields in minibar and feedback form
2010-07-06 13:36:42 +00:00
krasimir
710b8f1bf7
the abstract syntax for Predef.gf is now hard-coded in AppPredefined.hs
2010-07-01 15:38:16 +00:00
krasimir
e0231cbf5b
reorganize the modules in GF.Compile.*
2010-07-01 14:19:32 +00:00
krasimir
1b9169960a
reorder the modules in gf.cabal
2010-07-01 14:03:35 +00:00
krasimir
5ae7be358d
redesign the open-literals API
2010-07-01 08:51:59 +00:00
krasimir
706b215fce
compilation of pattern matching using the algorithm of Lennart Augustsson. Not used yet
2010-06-30 16:00:47 +00:00
krasimir
eb0bd54e68
rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int|Float)
2010-06-30 07:40:22 +00:00
krasimir
4c576ebbc9
forgot to fix the import in GF.Speech.CFG to get the Token type
2010-06-29 12:58:35 +00:00
krasimir
1d33665c93
add PGF.Optimize in gf.cabal
2010-06-29 12:48:58 +00:00
krasimir
5428049d80
in PGF.Printer special output format for SymLit
2010-06-29 09:05:07 +00:00
krasimir
272dcf6917
introduce the type synonym Token=String in the PGF API
2010-06-29 09:00:41 +00:00
krasimir
88d7631b62
preliminary version of API for Open Literals
2010-06-22 12:31:04 +00:00
krasimir
a6b8c11905
fix the compilation of literal categories in GeneratePMCFG.hs
2010-06-22 11:29:20 +00:00
aarne
3714a7e3b4
grammar for messages started
2010-06-21 16:50:40 +00:00
krasimir
e94a1c7408
GF.Grammar.Printer: print expressions with lincat and lin
2010-06-21 15:23:49 +00:00
krasimir
7e9b1ebfa4
addFCoercion -> addCoercion in GeneratePMCFG
2010-06-20 08:53:25 +00:00
krasimir
9995a834ae
getFCats -> getFIds in GeneratePMCFG
2010-06-20 08:45:31 +00:00
krasimir
a77815e35a
removed debugging code in GeneratePMCFG.hs
2010-06-20 08:30:00 +00:00
aarne
041e5e2a33
query language generalized and extended ; added README
2010-06-19 16:24:48 +00:00
aarne
a0f2ff0772
query language extended and generalized
2010-06-19 10:29:06 +00:00
aarne
0493f640d3
test script for query
2010-06-18 07:07:32 +00:00
krasimir
992a7ffb38
Yay!! Direct generation of PMCFG from GF grammar
2010-06-18 12:55:58 +00:00
krasimir
5dfc9bbc0b
the automatically generated printnames were just junks. Now we store printnames only if they are explicitly specified.
2010-06-18 10:19:05 +00:00
krasimir
fd3cddcf5e
PGF.Printer now dumps the printnames as well
2010-06-18 10:04:10 +00:00
krasimir
ad814e12c5
add Dutch to the list of languages in Setup.hs
2010-06-17 15:34:41 +00:00
krasimir
d8b049fdf8
rename GF.Grammar.Predef.isPredefCat to isLiteralCat
2010-06-17 15:08:12 +00:00
krasimir
183c878173
GF.Grammar.Lookup.allParamValues now works for table types as well
2010-06-17 09:51:10 +00:00
aarne
d8284f61bf
starting query language for MOLTO
2010-06-16 20:00:46 +00:00
aarne
74811193ed
case for pre in CF generation (ignores alternatives so far)
2010-06-03 21:43:35 +00:00
krasimir
c760c52223
grammar loader and unloader in C. Abstract Syntax only!
2010-06-16 15:14:34 +00:00
hallgren
106d056f54
Update demo links
...
- Added link to the Prasebook demo. The older demos are no longer labelled NEW.
- Point to www.grammaticalframework.org instead of tournesol.cs.chalmers.se
- Update links to www.cs.chalmers.se to new pages on www.cse.chalmers.se, since
there is no working autmatic redirection.
- got rid of some HTML clutter.
- index.txt was out of sync with index.html. It is now even more out of sync.
2010-06-17 15:14:00 +00:00
krasimir
b2a0adf969
added equality proof in the constructor for natural trasformations
2010-06-14 11:21:52 +00:00
krasimir
07da5a43c9
AndroidUI: implemented search in the bag of words
2010-06-10 13:38:15 +00:00
krasimir
d6f32b3bcd
dead code elimination for PGF. Note: the produced grammars will not work well with metavariables and high-order abstract syntax
2010-06-09 11:32:59 +00:00
krasimir
4e35f7e5ec
filter the duplications when doing 'l -table'
2010-06-09 10:21:13 +00:00
