summaryrefslogtreecommitdiff
path: root/src/compiler/GFI.hs
AgeCommit message (Collapse)Author
2011-03-03GF shell restricted modehallgren
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.
2011-02-28the command show_operations to inspect opers in scopeaarne
2011-02-25Predef.error surfaces as error message in compilation and cc commandaarne
2010-12-14option cc -list addedaarne
2010-12-10preparing resource api for multilingual documentationaarne
2010-07-01reorganize the modules in GF.Compile.*krasimir
2010-07-01redesign the open-literals APIkrasimir
2010-04-22removed mention of 2.9 welcome, and some traces in visualizationaarne
2010-04-19fix command cc for Unicodekrasimir
2010-04-19always use Haskeline. drop Readline & Editlinekrasimir
2010-04-19use the native unicode support from GHC 6.12krasimir
2010-04-06dependency graph can be restricted to some modules; added help dgaarne
2010-03-22store 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-02-08generalized tour to a variable language by the script MkTouraarne
2010-02-07command cc now works even without loaded grammar. useful for testing closed ↵krasimir
expressions
2010-02-03command eh ; lib/doc/tour startedaarne
2010-02-03fix the tabular printing when there is a V constructorkrasimir
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter ↵krasimir
from deprecated