1893 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
aarne	fc457ce795	funny ASCII logo	2007-11-06 20:52:49 +00:00
aarne	14e974af9e	added linearize -all	2007-11-08 17:01:09 +00:00
aarne	44df29f52d	gfi linearization with flags -table -record -term	2007-11-08 16:37:30 +00:00
aarne	23b2826a44	encoding of lincats as gfcc terms with param value information	2007-11-07 17:27:09 +00:00
aarne	947949648f	added fields for global options and showable lincats to gfcc	2007-11-07 16:30:56 +00:00
aarne	0be4e801f4	some more issues in gf3.txt	2007-11-07 13:53:48 +00:00
aarne	8c47cb46b2	moved gfcc program to gfi, wrote document gf3.txt	2007-11-07 13:07:02 +00:00
aarne	2c4d34af28	prompt and CPU time in experimental shell	2007-11-06 17:27:20 +00:00
aarne	2b1d5a4d51	Devel/GF3: experimentally putting together all functionalities for the first time	2007-11-06 14:44:17 +00:00
aarne	693621ffbe	made command table independent of options	2007-11-06 11:01:45 +00:00
aarne	db399191d9	factored out commands from interpreter in gfcc	2007-11-06 10:43:19 +00:00
aarne	5e87b6ef98	fixed variants bug in GFCC.Linearize: l. 64,46 'r' must be 'p'	2007-11-05 21:55:17 +00:00
aarne	2a83f299b4	unionGFCC, to put together GFCC grs with same abstract	2007-11-05 13:48:51 +00:00
aarne	7eecf7f943	command database in gfcc	2007-11-04 22:01:10 +00:00
aarne	76204ad886	changed suffix gfc to gfo in the gfc program to enable sharing directories with gf	2007-11-04 20:36:58 +00:00
aarne	bb5af4bbba	interpreter with pipes	2007-11-04 10:17:48 +00:00
aarne	fdc39cf18c	started command interpreter for gfcc	2007-11-03 22:37:18 +00:00
aarne	5956ba6b38	command language and gfcc term parser in bnfc	2007-11-03 22:00:08 +00:00
bringert	ed4b43961d	Added explicit export list to ParGF.	2007-11-01 10:10:30 +00:00
bringert	dafbcb7f9b	Regenerated ParGF.y with current BNFC, and regenerated ParGF.hs with Happy 1.17. This seems to fix some of the less informative parsing error messages.	2007-11-01 10:08:32 +00:00
aarne	59e4328128	mock up math extended with Agda	2007-10-31 17:13:20 +00:00
aarne	3f4d3e69cf	oper and lindef in CanonToJS	2007-10-31 16:41:39 +00:00
aarne	a2a37bc912	mock up variables for js	2007-10-30 13:17:54 +00:00
aarne	ab1af18cdb	swedish mock up for math	2007-10-30 13:15:18 +00:00
aarne	565bd85329	math wiki example	2007-10-30 13:09:46 +00:00
bringert	af54ec7e45	Added type signature to fix GHC 6.8 problem reported by Jean-Philippe.	2007-10-30 09:51:14 +00:00
aarne	70258975f2	semantics <- sementics	2007-10-24 07:49:29 +00:00
aarne	fa2131a8be	program four second week of the course	2007-10-24 07:47:33 +00:00
aarne	60f714b9c8	insertObject in AdVP in tutorial/syntax	2007-10-23 21:03:06 +00:00
aarne	bf223b43d5	insertObject in Grammar	2007-10-23 14:11:22 +00:00
bringert	5b7f45c7e6	Added --output-name to GF.Devel.GFC.Options. Inspired by peb's --output-base suggestion.	2007-10-23 12:19:11 +00:00
bringert	1bf4df8763	Added --output-dir to GF.Devel.GFC.Options. Suggested by peb.	2007-10-23 12:15:01 +00:00
bringert	9dc7843f53	Allow multiple output formats in GF.Devel.GFC.Options. Suggested by peb.	2007-10-23 12:11:48 +00:00
aarne	a6f89fefef	polished the syntax grammar for the book	2007-10-22 15:56:11 +00:00
aarne	3b878f85d8	Swedish functor implementation of Base	2007-10-21 10:45:51 +00:00
aarne	087fddc174	English Base implementation with functor	2007-10-21 10:06:34 +00:00
aarne	a9472f91e5	the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by commenting out)	2007-10-21 10:01:14 +00:00
bringert	bc2cac719b	Added Show isntance generation to haskell_gadt.	2007-10-20 18:57:38 +00:00
bringert	173d0ae876	Added Compos instance generation to the haskell_gadt printer. Added GF.Data.Compos module which is imported by the code generated by haskell_gadt.	2007-10-20 18:42:16 +00:00
aarne	484c4ef336	started resource implementation of query language	2007-10-20 11:34:52 +00:00
aarne	192f55e2f5	semantics extended to questions	2007-10-20 09:51:26 +00:00
aarne	e86db4d8c8	two versions of semantics (the Logic version incomplete)	2007-10-19 22:12:30 +00:00
aarne	295c40fe3a	started semantics module in tutorial	2007-10-19 16:29:29 +00:00
aarne	59052fd1b6	added coordination to tutorial grammar example.	2007-10-17 19:08:09 +00:00
bringert	5028c62c66	Fixed link to resource grammar synopsis.	2007-10-17 16:18:13 +00:00
aarne	cec3d7d603	found and temporarily solved the bug in LangGer gfcc generation	2007-10-16 17:38:57 +00:00
bernardy	869da61a5b	add interlingua numerals grammar	2007-10-15 09:54:41 +00:00
bernardy	bb0252e323	Fix the belgian numerals grammar	2007-10-15 09:42:34 +00:00
bernardy	ec06de5c9f	Simplify the swiss numerals grammar	2007-10-15 09:42:06 +00:00
bernardy	43e9eb3a1a	Slightly nicer output when reading old grammars	2007-10-15 08:05:33 +00:00