krasimir
a8560f2cf1
for some reason the concrete syntax for MidLevelOntology was not in darcs
2010-07-13 08:04:53 +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
krasimir
1cb3cfb4c2
change the package name of the GWT Apps to org.grammaticalframework.ui.gwt
2010-07-08 09:55:09 +00:00
krasimir
161403e7d3
upgrade to GWT 2.0.4
2010-07-08 09:32:17 +00:00
krasimir
0dbe60b7bf
FridgeApp and TranslateApp now show the type errors
2010-07-08 07:57:36 +00:00
krasimir
1a7210dc18
fix PGFService after the change in the parser API
2010-07-07 14:46:24 +00:00
krasimir
8d63bf8d79
report type errors in the shell from command "p"
2010-07-07 12:23:21 +00:00
krasimir
cf8f0f089f
fix in example/tutorial/smart/SmartFre.gf to make the dependent types work nicely
2010-07-07 10:12:08 +00:00
krasimir
21c14b1305
simplify the monad TcM
2010-07-07 07:19:56 +00:00
hallgren
a74e3f963a
Access keys for input fields in minibar and feedback form
2010-07-06 13:36:42 +00:00
krasimir
51e4f36b80
the abstract syntax for Predef.gf is now hard-coded in AppPredefined.hs
2010-07-01 15:38:16 +00:00
krasimir
527efbef9d
reorganize the modules in GF.Compile.*
2010-07-01 14:19:32 +00:00
krasimir
19ca4fa0a6
reorder the modules in gf.cabal
2010-07-01 14:03:35 +00:00
krasimir
e92151caf8
redesign the open-literals API
2010-07-01 08:51:59 +00:00
krasimir
3a5f193fd7
compilation of pattern matching using the algorithm of Lennart Augustsson. Not used yet
2010-06-30 16:00:47 +00:00
krasimir
97a9ddb4a7
rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int|Float)
2010-06-30 07:40:22 +00:00
krasimir
00a69cab3b
forgot to fix the import in GF.Speech.CFG to get the Token type
2010-06-29 12:58:35 +00:00
krasimir
3ca16750b3
add PGF.Optimize in gf.cabal
2010-06-29 12:48:58 +00:00
krasimir
4fab73d5e7
in PGF.Printer special output format for SymLit
2010-06-29 09:05:07 +00:00
krasimir
43736135ca
introduce the type synonym Token=String in the PGF API
2010-06-29 09:00:41 +00:00
bjorn
c228f48ce3
Added satta_V and mkV2 : Str -> Prep -> V2 to Swedish resource grammar.
2010-06-22 12:59:04 +00:00
krasimir
237b30d6c4
preliminary version of API for Open Literals
2010-06-22 12:31:04 +00:00
aarne
f89e8bc295
order of complements in Finnish
2010-06-22 11:29:33 +00:00
krasimir
ccf4c037a6
fix the compilation of literal categories in GeneratePMCFG.hs
2010-06-22 11:29:20 +00:00
aarne
ed751c43ab
short imperative Utt in Eng
2010-06-22 10:53:58 +00:00
aarne
5b9f3ad75d
polite imperative in Fre
2010-06-22 10:43:29 +00:00
aarne
12b1729136
additions to indef in Eng
2010-06-22 10:00:01 +00:00
aarne
24c5730840
grammar for messages started
2010-06-21 16:50:40 +00:00
krasimir
7fa1963cc4
GF.Grammar.Printer: print expressions with lincat and lin
2010-06-21 15:23:49 +00:00
krasimir
8433afdac9
addFCoercion -> addCoercion in GeneratePMCFG
2010-06-20 08:53:25 +00:00
krasimir
f3f1320416
getFCats -> getFIds in GeneratePMCFG
2010-06-20 08:45:31 +00:00
krasimir
fe6e90e6ce
removed debugging code in GeneratePMCFG.hs
2010-06-20 08:30:00 +00:00
aarne
b17edaa943
query language generalized and extended ; added README
2010-06-19 16:24:48 +00:00
aarne
8a5651168a
added to ExtraEng constructs needed in queries
2010-06-19 16:24:21 +00:00
aarne
d9c34ce848
query language extended and generalized
2010-06-19 10:29:06 +00:00
aarne
cca3039505
test script for query
2010-06-18 07:07:32 +00:00
krasimir
2069d9c9eb
Yay!! Direct generation of PMCFG from GF grammar
2010-06-18 12:55:58 +00:00
krasimir
d7d893d6b3
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
58422b189a
PGF.Printer now dumps the printnames as well
2010-06-18 10:04:10 +00:00
krasimir
7290a2fc68
add Dutch to the list of languages in Setup.hs
2010-06-17 15:34:41 +00:00
krasimir
b9b19b6334
rename GF.Grammar.Predef.isPredefCat to isLiteralCat
2010-06-17 15:08:12 +00:00
krasimir
faceaffe79
GF.Grammar.Lookup.allParamValues now works for table types as well
2010-06-17 09:51:10 +00:00
aarne
286358f6ad
starting query language for MOLTO
2010-06-16 20:00:46 +00:00
aarne
cfd3afd2d8
case for pre in CF generation (ignores alternatives so far)
2010-06-03 21:43:35 +00:00
krasimir
7b315e94a4
grammar loader and unloader in C. Abstract Syntax only!
2010-06-16 15:14:34 +00:00
hallgren
7398216aa9
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
cfd034ab21
added equality proof in the constructor for natural trasformations
2010-06-14 11:21:52 +00:00