kr.angelov 6e1451e142 fix the debug mode of the JIT compiler after the refactoring in libgu

2013-11-04 19:33:29 +00:00

..

binary/Data

Add a cabal flag to use the standard binary package

2013-10-31 15:43:12 +00:00

compiler

Add a cabal flag to use the standard binary package

2013-10-31 15:43:12 +00:00

example-based

example-based: bug fix: apply UTF-8 decoding to CGI inputs

2011-11-21 15:15:49 +00:00

runtime

fix the debug mode of the JIT compiler after the refactoring in libgu

2013-11-04 19:33:29 +00:00

server

linref is now used by the linearizer. The visible change is that the 'l' command in the shell now can linearize discontinuous phrases

2013-10-30 14:42:29 +00:00

tools

Created a new page documenting available editor modes for GF

2011-09-20 12:41:32 +00:00

ui

A simple type checker in the C runtime. Dependent types are not supported yet but HOAS is implemented. The API is accessible from Python as well

2013-11-04 17:10:46 +00:00

www

gfse: don't use multiline text boxes everywhere, just for concrete syntax

2013-08-21 14:19:05 +00:00