gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
2011-04-04	Add build info to the GF shell welcome message	hallgren

2010-12-11	Adding an option to the gf compiler to add an index to pgf files	gdetrez
	This is gonna be used by the android library to skip unused part of a pgf file
2011-03-12	make it possible to override opers defined in an interface by syntax ↵	aarne
	'instance Foo of Bar - [f,g,h]'
2011-03-03	GF shell restricted mode	hallgren
	By setting the environment variable GF_RESTRICTED before starting GF, the shell will be run in restricted mode. This will prevent the GF shell from starting arbitrary system commands (most uses of System.Cmd.system are blocked) and writing arbitrary files (most commands that use writeFile et al are blocked). Restricted mode is intended minimize the potential security risks involved in allowing public access to the GF shell over the internet. It should be used in conjuction with system level protection mechanisms (e.g. file permissions) to make sure that a publicly acessible GF shell does not give access to parts of the system that should not be publicly accessible.
2010-12-14	updated documentation of pg -printer formats	aarne

2010-12-14	documented the pgf -printer values for help	aarne

2010-10-02	refactor the API for random generation again. Now PGF contains probabilities ↵	krasimir
	in the abstract syntax
2010-08-09	native representation for HOAS in PMCFG and incremental type checking of the ↵	krasimir
	parse forest
2010-07-01	redesign the open-literals API	krasimir

2010-06-09	dead code elimination for PGF. Note: the produced grammars will not work ↵	krasimir
	well with metavariables and high-order abstract syntax
2010-04-28	wf,vt,vp,vd,aw should store files in utf8	krasimir

2010-04-19	use the native unicode support from GHC 6.12	krasimir

2010-04-06	dependency graph can be restricted to some modules; added help dg	aarne

2010-03-23	added codepage for Turkish	krasimir

2010-03-22	store and propagate the exact source location for all judgements in the ↵	krasimir
	grammar. It may not be used accurately in the error messages yet
2010-03-20	added experimental generation of Lambda Prolog code. Could be used for ↵	krasimir
	exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
2010-01-31	refactor GF.Infra.Modules for better error messages	krasimir

2010-01-17	PGF is now real synchronous PMCFG	krasimir

2009-12-14	remove the old parsing code and the -erasing=on flag	krasimir

2009-12-13	reorganize the directories under src, and rescue the JavaScript interpreter ↵	krasimir
	from deprecated