2099 Commits

Author	SHA1	Message	Date
hallgren	1baa90a0ff	Work in progress on keyboard input in minibar	2010-04-15 15:42:18 +00:00
hallgren	d711c7da09	Code simplification	2010-04-15 15:41:30 +00:00
hallgren	96758752e6	Omit redundant trailing "&" in jsonp url	2010-04-15 13:48:28 +00:00
hallgren	355c1a7a69	Fix bug in get_grammarlist. Some code simplificaiton.	2010-04-15 13:33:21 +00:00
krasimir	24d2acf097	fix the molto-molto-molto problem	2010-04-12 13:55:40 +00:00
hallgren	1903fe8bf9	Some documentation	2010-04-09 14:04:18 +00:00
hallgren	984d67a79b	Abstract out grammar access method	2010-04-09 14:00:38 +00:00
hallgren	e7073c1575	Adding the Minibar files to the darcs repository.	2010-04-09 13:51:34 +00:00
aarne	0138e6bba1	German phrasebook; ontology document; ignoring single lines in gfdoc	2010-04-08 20:31:32 +00:00
aarne	ba13052d31	dependency graph can be restricted to some modules; added help dg	2010-04-06 08:53:44 +00:00
aarne	7a14507189	in the shell, permit 3-letter lang codes as concrete syntax names	2010-04-04 20:46:36 +00:00
aarne	95d4adac99	in PGFService disambiguation, show tree if there's no disamb grammar	2010-04-04 20:45:50 +00:00
aarne	cdd9efa559	Urdu transliteration fixed (by Shafqat)	2010-04-01 12:24:04 +00:00
aarne	5dfda62ad1	fixed a deep bug in TypeCheck due to swap of arguments; print empty record as <> instead of {} to distinguish from empty record type	2010-03-31 22:05:12 +00:00
krasimir	d83c2d01d8	export fullFormLexicon from PGF	2010-03-31 11:09:12 +00:00
aarne	5cb147fa19	simplified the treatment of politeness in Phrasebook	2010-03-30 18:48:59 +00:00
aarne	de909a4e44	disambiguation in Phrasebook grammars, PGF server, and the GUI	2010-03-30 15:39:11 +00:00
aarne	ccac96eaa0	catching initial bind symbol in PGFServer	2010-03-28 20:32:03 +00:00
aarne	93daaabf3d	Action category, more doc in Phrasebook	2010-03-28 19:29:06 +00:00
aarne	2925edd088	text-like unlexer for phrasebook web service	2010-03-26 22:08:48 +00:00
aarne	c24440d134	fixes for webdemos, including bug in StructuralIta	2010-03-26 17:38:20 +00:00
krasimir	9a1d0e8d11	bugfix in the lProlog generator	2010-03-24 20:54:20 +00:00
krasimir	14f19b9865	partial support for def-rules in the Lambda Prolog generation	2010-03-24 16:12:58 +00:00
krasimir	68482aa7e9	now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types.	2010-03-24 11:11:55 +00:00
krasimir	76d155af0e	typo in CheckGrammar	2010-03-23 15:35:32 +00:00
krasimir	c80c403da2	use the new more accurate location information for some error messages	2010-03-23 15:24:48 +00:00
krasimir	1e51690b71	added codepage for Turkish	2010-03-23 13:44:17 +00:00
krasimir	850b897f08	added comment to every GF.Text.CPxxxx module about the purpose of the codepage	2010-03-23 12:19:34 +00:00
krasimir	472c5e8ee7	add JavaScript API for completion. contributed by John J. Camilleri	2010-03-23 08:55:56 +00:00
krasimir	e7f01aa5f0	fix checkInfoType in Parser.y	2010-03-22 23:49:15 +00:00
aarne	5f6f4cdea3	www api command translategroup, which uses groupResults	2010-03-22 22:04:36 +00:00
krasimir	bf74f50733	store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet	2010-03-22 21:15:29 +00:00
aarne	716a209f65	PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage	2010-03-22 19:03:06 +00:00
krasimir	2ac96a7643	transliteration for Urdu	2010-03-22 09:29:43 +00:00
krasimir	0da54cdf64	produce optimized Lambda Prolog code	2010-03-22 08:56:42 +00:00
krasimir	fba592ecf8	added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.	2010-03-20 07:26:53 +00:00
krasimir	973a0cacb7	pattern @ should be propagated to PGF	2010-03-18 20:21:57 +00:00
krasimir	985bb550c0	fix the precedence for patterns ~, - and @	2010-03-18 19:52:45 +00:00
krasimir	f870c4d80f	syntax for inaccessible patterns in GF	2010-03-18 19:34:30 +00:00
krasimir	828fc44029	bugfix in PGF.TypeCheck	2010-03-14 12:21:00 +00:00
krasimir	db2d9a3238	cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope	2010-03-13 20:12:00 +00:00
hallgren	8e344646f0	Quick fix to adapt to new version of the PGF library.	2010-03-04 18:46:18 +00:00
krasimir	21b10f91cb	rule for pretty printing implicit arguments	2010-02-22 20:09:28 +00:00
krasimir	d2988814a8	add pretty printing rule for implicit patterns	2010-02-22 20:02:53 +00:00
krasimir	09da1013f9	refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store	2010-02-22 15:50:41 +00:00
krasimir	59d640088e	bugfix in PGF.TypeCheck	2010-02-20 18:48:06 +00:00
krasimir	57c2a4dcd2	fix the Haskell code generation	2010-02-17 13:09:23 +00:00
krasimir	a4d41ef3e3	fix in PGF.Printer	2010-02-17 10:31:10 +00:00
krasimir	b5d9ae552d	-output-format=pgf_pretty now prints the flags as well	2010-02-17 10:20:49 +00:00
krasimir	32f9499f2e	fix the PGF printer for abstract	2010-02-16 21:47:58 +00:00