Commit Graph

3645 Commits

Author SHA1 Message Date
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
jordi.saludes
2ca3b57ecf Fixing gf executable in build-gfctest 2010-06-08 11:19:33 +00:00
krasimir
31cd91e67e fixed bug in the recompilation checker which caused the phrasebook to be recompiled each time 2010-06-08 18:57:50 +00:00
krasimir
002965336a bugfix for flag -no-recomp 2010-06-08 15:40:47 +00:00
krasimir
e8428b3d67 revert change in GF.Grammar.Printer that was intended for debugging only 2010-06-08 09:53:13 +00:00
krasimir
7d71704b3c fix typo in category theory 2010-06-07 12:56:05 +00:00
jordi.saludes
7d9349271b Added gf-lexing.* to c-bindings. 2010-06-05 11:57:55 +00:00
jordi.saludes
4061674fae Changing rec to rec_ in PGF
To make glasgow extensions happy we had to rename 'rec' to 'rec_' in sources
from PGF folder.
2010-06-05 11:02:51 +00:00
jordi.saludes
aa7a254f69 Fixed c-bindings gfctest 2010-06-05 11:01:09 +00:00
kevin.kofler
df98e9b442 Build Query.pgf in build-gfctest.sh and look for it in the current directory 2010-05-16 21:12:01 +00:00
kevin.kofler
ee1c419979 Reimplement a lexer in C for the C bindings not to depend on GF.Text.Lexing for now. 2010-05-16 19:43:44 +00:00
kevin.kofler
2e6512e3fd Update the C bindings to build with the current PGF API 2010-05-16 21:09:51 +00:00
krasimir
218beec02c definitions for some high-order predicates that were missing 2010-06-06 12:10:49 +00:00
krasimir
54f40a135f SUMO: remove the uggly SubClassC and use KappaFn instead 2010-06-06 11:44:51 +00:00
krasimir
455d955841 changes in SUMO: formatting and fixes for lots of lots of small problems 2010-06-06 11:06:44 +00:00
aarne
ae79d4e4b2 word for Shop in Swedish 2010-06-03 14:50:54 +00:00