hallgren d45b9edcd8 minibar: quick fix to allow literals to be entered. ...

If you press Enter, the current word will be accepted, even if there are no
matching completions.
(You can now use names of people when constructing sentences in the Letter
grammar, for example.)

2011-08-22 17:03:47 +00:00

..

compiler

commented Compute/Concrete with explanations

2011-08-22 17:08:07 +00:00

editor/simple

gfse: fix an issue with Webkit browers

2011-08-17 15:41:57 +00:00

runtime

minibar: quick fix to allow literals to be entered.

2011-08-22 17:03:47 +00:00

server

pgf service: external service hook: always format the output as a JSON string

2011-08-22 16:10:56 +00:00

tools

two examples of the .gfm format

2010-11-30 14:54:03 +00:00

ui

fix the grammar browser in the editor

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