summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2010-04-01Urdu transliteration fixed (by Shafqat)aarne
2010-03-31fixed a deep bug in TypeCheck due to swap of arguments; print empty record ↵aarne
as <> instead of {} to distinguish from empty record type
2010-03-31export fullFormLexicon from PGFkrasimir
2010-03-30simplified the treatment of politeness in Phrasebookaarne
2010-03-30disambiguation in Phrasebook grammars, PGF server, and the GUIaarne
2010-03-28catching initial bind symbol in PGFServeraarne
2010-03-28Action category, more doc in Phrasebookaarne
2010-03-26text-like unlexer for phrasebook web serviceaarne
2010-03-26fixes for webdemos, including bug in StructuralItaaarne
2010-03-24bugfix in the lProlog generatorkrasimir
2010-03-24partial support for def-rules in the Lambda Prolog generationkrasimir
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-23typo in CheckGrammarkrasimir
2010-03-23use the new more accurate location information for some error messageskrasimir
2010-03-23added codepage for Turkishkrasimir
2010-03-23added comment to every GF.Text.CPxxxx module about the purpose of the codepagekrasimir
2010-03-23add JavaScript API for completion. contributed by John J. Camillerikrasimir
2010-03-22fix checkInfoType in Parser.ykrasimir
2010-03-22www api command translategroup, which uses groupResultsaarne
2010-03-22store and propagate the exact source location for all judgements in the ↵krasimir
grammar. It may not be used accurately in the error messages yet
2010-03-22PGF.groupResults and the option l -groups, to show ambiguities grouped by ↵aarne
laguage
2010-03-22transliteration for Urdukrasimir
2010-03-22produce optimized Lambda Prolog codekrasimir
2010-03-20added experimental generation of Lambda Prolog code. Could be used for ↵krasimir
exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
2010-03-18pattern @ should be propagated to PGFkrasimir
2010-03-18fix the precedence for patterns ~, - and @krasimir
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-03-04Quick fix to adapt to new version of the PGF library.hallgren
2010-02-22rule for pretty printing implicit argumentskrasimir
2010-02-22add pretty printing rule for implicit patternskrasimir
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 the Haskell code generationkrasimir
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-16no need to keep the list of constructors per category in .gfokrasimir
2010-02-08allow negative integers in the grammar syntaxkrasimir
2010-02-08generalized tour to a variable language by the script MkTouraarne
2010-02-07command cc now works even without loaded grammar. useful for testing closed ↵krasimir
expressions
2010-02-06in verbose mode print the rule names when compiling PMCFGkrasimir
2010-02-05bugfix in GrammarToPGF related to the compilation of def ruleskrasimir
2010-02-03command eh ; lib/doc/tour startedaarne
2010-02-03fix the tabular printing when there is a V constructorkrasimir
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
2010-01-31command l -list ; fixed mq to work with the new tabularLinearizesaarne
2010-01-31refactor GF.Infra.Modules for better error messageskrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-30 15:34:02 +0000