bjorn b296099441 Include concrete syntax flags in generated JS.

2008-08-13 12:08:11 +00:00

..

Command

version-related changes in Makefile and help

2008-06-27 09:09:29 +00:00

Compile

Include concrete syntax flags in generated JS.

2008-08-13 12:08:11 +00:00

Data

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

Devel

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

Grammar

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

Infra

Include coding flag in .gfo files.

2008-06-25 18:14:45 +00:00

JavaScript

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

Source

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

Speech

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

System

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

Text

Set charset to utf-8 when printing html code. This is needed to get Safari to display resdemo.html correctly.

2008-06-27 18:14:19 +00:00

Compile.hs

uniform encoding: gfo and pgf in UTF8, internal in unicode

2008-06-26 16:35:45 +00:00