| Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
printnames only if they are explicitly specified.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- Added link to the Prasebook demo. The older demos are no longer labelled NEW.
- Point to www.grammaticalframework.org instead of tournesol.cs.chalmers.se
- Update links to www.cs.chalmers.se to new pages on www.cse.chalmers.se, since
there is no working autmatic redirection.
- got rid of some HTML clutter.
- index.txt was out of sync with index.html. It is now even more out of sync.
|
|
|
|
|
|
well with metavariables and high-order abstract syntax
|
|
|
|
|
|
recompiled each time
|
|
|
|
|
|
|
|
|
|
To make glasgow extensions happy we had to rename 'rec' to 'rec_' in sources
from PGF folder.
|
|
|
|
|
|
for now.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* Add help button at top of page.
* Change style of word buttons to look like fridge magnets again.
* New options to specify locations of other pages: feedback_url, help_url. If
they are left undefined, no Help/Feedback buttons will be created.
* Shorter test in Google Translate button.
|
|
window.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|