hallgren ecd6d193ce gfse&minibar: fix bug caused by function name clash ...

+ Function div_id was defined in both editor.js and support.js. Solution:
  moved the more general version from editor.js to support.js.
+ Function div_class was defined in both editor.js and support.js. Solution:
  resolv incompatibility with an argument type test and put the generalized
  function in support.js.

2012-03-26 17:08:29 +00:00

..

compiler

PGFService.hs bug fix: pattern match failure in doParse

2012-02-29 16:21:34 +00:00

example-based

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

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

runtime

PGF run-time library: function names in BracketedString (experimental)

2012-03-18 20:12:26 +00:00

server

PGF run-time library: function names in BracketedString (experimental)

2012-03-18 20:12:26 +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

gfse&minibar: fix bug caused by function name clash

2012-03-26 17:08:29 +00:00