3371 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
krasimir	d83c2d01d8	export fullFormLexicon from PGF	2010-03-31 11:09:12 +00:00
aarne	5e2d2e61c3	moved phrases like 'I am hungry' from Greetings to Words to make them more general	2010-03-30 21:48:24 +00:00
aarne	61c82fa40e	removed Roles; updated Phrasebook doc	2010-03-30 20:10:36 +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	4bae49c634	information on missing words; fix in PhraseDut	2010-03-29 21:19:50 +00:00
aarne	bec718d49d	AttemptoUrd added	2010-03-29 13:59:46 +00:00
aarne	04784b7c31	fine tuning phrasebook	2010-03-28 21:13:29 +00:00
aarne	ccac96eaa0	catching initial bind symbol in PGFServer	2010-03-28 20:32:03 +00:00
aarne	55f8a80df7	version 0.2 of phrasebook	2010-03-28 20:13:46 +00:00
aarne	93daaabf3d	Action category, more doc in Phrasebook	2010-03-28 19:29:06 +00:00
aarne	3903b6b852	short-phrase translation; added Swe; started doc in Phrasebook	2010-03-28 15:28:02 +00:00
aarne	2925edd088	text-like unlexer for phrasebook web service	2010-03-26 22:08:48 +00:00
aarne	691620346c	change Food to Words in Phrasebook, since it's unpractical to have many small modules; added syntactic forms and words	2010-03-26 22:07:17 +00:00
aarne	c24440d134	fixes for webdemos, including bug in StructuralIta	2010-03-26 17:38:20 +00:00
aarne	1d41c587ac	FoodsRon in utf-8	2010-03-25 14:47:19 +00:00
krasimir	887a552497	even simpler version of NQueens	2010-03-24 21:04:37 +00:00
krasimir	9a1d0e8d11	bugfix in the lProlog generator	2010-03-24 20:54:20 +00:00
krasimir	fdd68f9040	the Plus predicate from NQueens is replaced with definition for function plus	2010-03-24 16:14:36 +00:00
krasimir	14f19b9865	partial support for def-rules in the Lambda Prolog generation	2010-03-24 16:12:58 +00:00
aarne	3ff870dcd6	politeness and disambiguation in Phrasebook (not visible yet)	2010-03-24 08:18:54 +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
aarne	9d98177e65	French phrasebook	2010-03-21 19:57:53 +00:00
aarne	df0c6fb8d3	English version of Phrasebook	2010-03-21 17:42:11 +00:00
krasimir	f4574a4cfa	the NQueens algorithm written in GF	2010-03-21 19:01:57 +00:00
aarne	68840a3d6a	Diff interface for Phrasebook	2010-03-21 03:37:02 +00:00
aarne	5584415807	started Phrasebook with Finnish and Romanian	2010-03-20 21:21:50 +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	d91999dec0	incomplete code for adjoints and monads	2010-03-15 17:31:15 +00:00
krasimir	381a7a2f07	identity functor	2010-03-15 16:35:00 +00:00
krasimir	c6f3111e67	added natural transformations	2010-03-15 14:52:47 +00:00
krasimir	aef1a1a5a3	incomplete code for composition of functors	2010-03-15 10:47:00 +00:00
krasimir	9f45bb0df1	refactor Morphisms.gf and InitialAndTerminal.gf	2010-03-15 10:43:20 +00:00
krasimir	d7c68cdf27	two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms	2010-03-15 10:41:39 +00:00
krasimir	dfbc6ba9a3	added Equalizers in category-theory	2010-03-15 09:57:39 +00:00
krasimir	828fc44029	bugfix in PGF.TypeCheck	2010-03-14 12:21:00 +00:00