 aarne
|
314faeaffa
|
fixed corrupted character in tutorial FoodIta
|
2010-12-23 10:04:50 +00:00 |
|
|
aarne
|
f117e7b3b7
|
updated tutorial and quickstart for 3.2
|
2010-12-23 09:33:11 +00:00 |
|
|
aarne
|
3506b313c1
|
format .gfm for multiple modules in the same file; includes lines with ;-separated words
|
2010-11-30 14:50:24 +00:00 |
|
|
krasimir
|
e12d96451d
|
in tutorial/smart remove the hack that forced the proof object to be resolved
|
2010-10-18 12:28:39 +00:00 |
|
|
jordi.saludes
|
26a1beefb4
|
Really adding QuerySpa to embedded.
|
2010-06-18 15:53:47 +00:00 |
|
|
jordi.saludes
|
bf06b1d89d
|
Added QuerySpa to tutorial/embedded.
|
2010-06-18 11:48:36 +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 |
|
|
aarne
|
bbe15482b1
|
food grammar path changed in tutorial
|
2009-04-08 05:59:16 +00:00 |
|
|
aarne
|
f095da93ba
|
fixes before beta3 release
|
2009-04-02 09:35:48 +00:00 |
|
|
aarne
|
51120decdb
|
tested "minimal" resource to compile Foods and Bronzeage
|
2009-03-09 16:53:40 +00:00 |
|
|
aarne
|
6d4b5334fb
|
tutorial complete with server and js
|
2008-11-11 10:28:32 +00:00 |
|
|
aarne
|
892514fc31
|
fixed some tutorial grammars and updated embedded section (JavaScript and web TODO)
|
2008-11-11 09:21:59 +00:00 |
|
|
aarne
|
87c6bebf29
|
updated tutorial up to lexers ; fixed lexcode in GF (was wrong due to a typo)
|
2008-11-10 10:59:13 +00:00 |
|
|
aarne
|
65bafe2a3b
|
restored the possibility to compile .cf files to gf
|
2008-10-15 15:08:38 +00:00 |
|
|
aarne
|
81a93979ad
|
refreshed the tutorial
|
2008-10-01 13:13:10 +00:00 |
|
|
aarne
|
0c964105d9
|
Italian "quello" corrected
|
2008-10-01 12:11:29 +00:00 |
|
|
aarne
|
c5c6d13546
|
changed names of resource-1.3; added a note on homepage on release
|
2008-06-25 16:54:35 +00:00 |
|
|
aarne
|
33263b0b2c
|
added some functions to overloaded API
|
2008-06-09 15:54:03 +00:00 |
|
|
aarne
|
d46f4c49e1
|
merged Gf and Fg classes in generated Haskell
|
2007-12-20 15:11:18 +00:00 |
|
|
aarne
|
bd7123902c
|
insertObject in AdVP in tutorial/syntax
|
2007-10-23 21:03:06 +00:00 |
|
|
aarne
|
8f100593c0
|
insertObject in Grammar
|
2007-10-23 14:11:22 +00:00 |
|
|
aarne
|
1ff4d28cfe
|
polished the syntax grammar for the book
|
2007-10-22 15:56:11 +00:00 |
|
|
aarne
|
ca3535fd87
|
Swedish functor implementation of Base
|
2007-10-21 10:45:51 +00:00 |
|
|
aarne
|
f668736f36
|
English Base implementation with functor
|
2007-10-21 10:06:34 +00:00 |
|
|
aarne
|
01bc4c138e
|
the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by commenting out)
|
2007-10-21 10:01:14 +00:00 |
|
|
aarne
|
a26e87327a
|
started resource implementation of query language
|
2007-10-20 11:34:52 +00:00 |
|
|
aarne
|
55f387d067
|
semantics extended to questions
|
2007-10-20 09:51:26 +00:00 |
|
|
aarne
|
2fb6c59444
|
two versions of semantics (the Logic version incomplete)
|
2007-10-19 22:12:30 +00:00 |
|
|
aarne
|
9b952e5954
|
started semantics module in tutorial
|
2007-10-19 16:29:29 +00:00 |
|
|
aarne
|
d6dee33acd
|
added coordination to tutorial grammar example.
|
2007-10-17 19:08:09 +00:00 |
|
|
aarne
|
2b253d9a64
|
removed unnecessary imports from GFCCtoHaskell generation
|
2007-10-05 16:30:37 +00:00 |
|
|
aarne
|
04489c8313
|
started new GFCC syntax with dep. types etc
|
2007-10-04 14:13:45 +00:00 |
|
|
aarne
|
c7b1f789fa
|
resource application example in tutorial/syntax
|
2007-10-04 13:43:29 +00:00 |
|
|
aarne
|
6f74c2d648
|
refactored tutorial syntax example
|
2007-10-04 12:29:11 +00:00 |
|
|
bernardy
|
ceebc5efac
|
Couple of fixes for the "food" example in French
|
2007-09-14 10:46:30 +00:00 |
|
|
aarne
|
549447458c
|
math with gfcc
|
2007-09-20 13:31:24 +00:00 |
|
|
aarne
|
9b5d2fb923
|
last adjustments of examples before course
|
2007-09-12 21:03:00 +00:00 |
|
|
aarne
|
bc8a7b5c0c
|
refs for book
|
2007-09-11 13:13:48 +00:00 |
|
|
aarne
|
e4ac4728d2
|
comented ExtFoods
|
2007-09-06 13:06:22 +00:00 |
|
|
aarne
|
cd9dac84c2
|
ExtFoods for book
|
2007-09-06 11:34:53 +00:00 |
|
|
aarne
|
90a8b828ab
|
transfer exx
|
2007-09-05 18:08:16 +00:00 |
|
|
aarne
|
f357082c27
|
modernized parser in EmbedAPI
|
2007-09-05 14:05:42 +00:00 |
|
|
aarne
|
22b4069803
|
cleaned up Calculator example
|
2007-09-04 20:51:26 +00:00 |
|
|
aarne
|
c87f220a9f
|
new precedence lib
|
2007-09-04 18:14:36 +00:00 |
|
|
aarne
|
19ecc56460
|
CP
|
2007-09-04 14:15:43 +00:00 |
|
|
aarne
|
b472bd6c47
|
div
|
2007-09-04 07:57:50 +00:00 |
|
|
aarne
|
1608ac9f6d
|
calculator ex
|
2007-09-03 19:21:50 +00:00 |
|
|
aarne
|
dc8ca16b04
|
these,those in Constructors
|
2007-09-03 13:54:44 +00:00 |
|
|
aarne
|
b1dbc849bf
|
Ita in res
|
2007-09-02 21:04:24 +00:00 |
|
|
aarne
|
29b5463e7e
|
resource using exx revised
|
2007-09-02 19:53:55 +00:00 |
|