summaryrefslogtreecommitdiff
path: root/src/runtime
AgeCommit message (Collapse)Author
2010-05-26Enable display of abstract syntax in minibarhallgren
2010-05-26Use <input type=button ...> instead of <div ...> tags for the word magnets. ↵hallgren
This should make them clickable in more browsers and could improve layout.
2010-05-26Change server to http://www.grammaticalframework.org:41296hallgren
2010-05-25some fixes for graphvizDependencyTreekrasimir
2010-05-25bugfix in the linearization algorithmkrasimir
2010-05-21hide the language code if translating to only one target languagehallgren
2010-05-21smaller input fieldhallgren
2010-05-19now every BracketedString also has reference to the source expression(s)krasimir
2010-05-19added function lengthBracketedStringkrasimir
2010-05-19now the parser could return partial parse resultskrasimir
2010-05-17simple refactoring: use ActiveKey in PGF.Parse.getParseResult instead of ↵krasimir
plain pair of FId and LIndex
2010-05-11in PGF, when printing function and category definitions, add semicolonkrasimir
2010-05-07Amharic transliteration by Markosaarne
2010-05-06fixed two bugs in gtaarne
2010-05-01refactor BracketedStringkrasimir
2010-05-01bug fix for bracketedLinearize with HOAS and meta variableskrasimir
2010-05-01fixes in unStr,unInt,unDouble,isMetakrasimir
2010-04-30for backward compatibility we have the old parse function again. the old ↵krasimir
functionality is exposed by parse_
2010-04-30optimize/simplify the error reporting in the new APIkrasimir
2010-04-30Merge phrasebook.js into minibar.jshallgren
2010-04-28Some work on the Saldo gamehallgren
2010-04-30first incarnation of the bracketed string APIkrasimir
2010-04-23fix parsing of literalskrasimir
2010-04-22removed mention of 2.9 welcome, and some traces in visualizationaarne
2010-04-19Some work on minibar:hallgren
1. Menu for choosing target language. 2. Pass options when calling start_minibar. See about.html for more details.
2010-04-15Work in progress on keyboard input in minibarhallgren
2010-04-15Code simplificationhallgren
2010-04-15Omit redundant trailing "&" in jsonp urlhallgren
2010-04-15Fix bug in get_grammarlist. Some code simplificaiton.hallgren
2010-04-12fix the molto-molto-molto problemkrasimir
2010-04-09Some documentationhallgren
2010-04-09Abstract out grammar access methodhallgren
2010-04-09Adding the Minibar files to the darcs repository.hallgren
2010-04-04in the shell, permit 3-letter lang codes as concrete syntax namesaarne
2010-03-31export fullFormLexicon from PGFkrasimir
2010-03-28Action category, more doc in Phrasebookaarne
2010-03-24now for every category we store, in PGF, the list of functions for it in ↵krasimir
source-code order. The order matters for the termination of the exhaustive generation with dependent types.
2010-03-23add JavaScript API for completion. contributed by John J. Camillerikrasimir
2010-03-22PGF.groupResults and the option l -groups, to show ambiguities grouped by ↵aarne
laguage
2010-03-18pattern @ should be propagated to PGFkrasimir
2010-03-18syntax for inaccessible patterns in GFkrasimir
2010-03-14bugfix in PGF.TypeCheckkrasimir
2010-03-13cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scopekrasimir
2010-02-22refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access ↵krasimir
to the meta store
2010-02-20bugfix in PGF.TypeCheckkrasimir
2010-02-17fix in PGF.Printerkrasimir
2010-02-17-output-format=pgf_pretty now prints the flags as wellkrasimir
2010-02-16fix the PGF printer for abstractkrasimir
2010-02-02gr for several metas fixed ; commented out one alternative in SammieGer to ↵aarne
make it compile
2010-02-01commands mq and tq can take a tree with metas to guide generationaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-02 03:13:32 +0000