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

Age	Commit message (Collapse)	Author
2012-10-05	Factor out code for setting the console encoding	hallgren
	Moved similar low-level code blocks in Main and GFI for setting the console encoding to the new module GF.System.Console.
2012-06-08	More detailed version info in the output of "gf -version"	hallgren

2011-12-14	gf -server[=port]	hallgren
	You can now specify which port the HTTP server should run on in server mode. The default is 41296.
2011-11-15	more structured format for errors and warnings from the compiler	kr.angelov

2011-11-14	the new design for -tags	kr.angelov

2011-11-02	Now the compiler maintains more precise information for the source locations ↵	kr.angelov
	of the different definitions. There is a --tags option which generates a list of all identifiers with their source locations.
2011-04-13	Added a preliminary "gf -server" mode.	hallgren
	The command "gf -server" now starts a simple HTTP server on port 41295, providing a simple web API to the GF compiler. It currently support the follwing operations: * creating new temporary directories for grammar uploads, * uploading grammars files for use in the GF shell, * executing GF shell commands, and * accessing static files. This means that GF now depends on some additional networking related packages, but they should be available and easy to install on all platforms. There is also a new configuration flag "server" in gf.cabal, so GF will be compiled without support for server mode if the extra packages are unavailable. Note that running gf -server while connected to the internet can be a security risk. To prevent unauthorized access to the rest of the system, it is advisable to run the server in GF_RESTRICTED mode and as a user with suitably restricted file permissions.
2010-04-19	use the native unicode support from GHC 6.12	krasimir

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