kr.angelov 383d829d5a the first approximation for a statistical model consistent with dependent types in the abstract syntax

2013-07-30 07:29:11 +00:00

..

compiler

Cloud & PGF service: use Content-Type application/json for JSON output

2013-07-29 16:05:54 +00:00

example-based

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

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

runtime

the first approximation for a statistical model consistent with dependent types in the abstract syntax

2013-07-30 07:29:11 +00:00

server

Cloud & PGF service: use Content-Type application/json for JSON output

2013-07-29 16:05:54 +00:00

tools

Created a new page documenting available editor modes for GF

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

ui

fix the grammar browser in the editor

2011-03-08 12:32:51 +00:00

www

minibar: more robust test for availability localStorage

2013-07-29 11:58:17 +00:00