summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2013-02-11translator: add some menu padding for touch deviceshallgren
2013-02-11translator: small style changehallgren
2013-02-11translator: remove debug codehallgren
2013-02-11translator: "Open..." doesn't discard the current document anymorehallgren
2013-02-11the class PgfConcr from the Python binding now has a property name which retu...kr.angelov
2013-02-11refactoring: now all named objects in the C runtime have an explicit name fieldkr.angelov
2013-02-11remove the pgf2yaml tool which was both broken and redundant. The declaration...kr.angelov
2013-02-11the grammar reader in the C runtime is completely rewritten and it doesn't us...kr.angelov
2013-02-03pg -lexc now writes a list of multichar symbols and a title ("Root") for the ...aarne
2013-02-01This patch removes Gregoire's parse_tokens function in the python binding and...kr.angelov
2013-02-01implement gu_exn_caught in gu/exn.c. It was missingkr.angelov
2013-01-29Better error message for unsupported token gluinghallgren
2013-01-29Fix a bug with record extensionhallgren
2013-01-29Avoid crash in random generation with probabilitieshallgren
2013-01-29bugfix in the reference counting for Pythonkr.angelov
2013-01-29the Python binding is in pure C againkr.angelov
2013-01-29added an API for composing and decomposing abstract trees from Pythonkr.angelov
2013-01-29fixed typos in the python binding: in a few places pgf_ExprType was used inst...kr.angelov
2013-01-28Quick fix to render some parser error messages from UTF-8-encoded source file...hallgren
2013-01-28Better error message for Predef.errorhallgren
2013-01-28improved error message for overloading in case the given signature looks the ...aarne
2013-01-24Python binding: add a parsing function that accepts directly a list of tokens.gregoire.detrez
2013-01-18Add fun/cat printnames to PGF web servicejohn.j.camilleri
2013-01-13gf -server: fix bug in bug fix for current directoryhallgren
2013-01-12gf -server: small logging improvementshallgren
2013-01-12gf -server: defend against problems with the current directory caused unhandl...hallgren
2013-01-11Syntax editor: initial support for string literalsjohn.j.camilleri
2013-01-11Syntax editor: add tooltips to buttonsjohn.j.camilleri
2013-01-11Syntax editor: remove beta labeljohn.j.camilleri
2013-01-11partial evaluator: fix token glueing bughallgren
2013-01-09Fixes for minibar offlinehallgren
2013-01-09PGF service: new command: downloadhallgren
2013-01-08fix warnings in pgf-parse.ckr.angelov
2013-01-08PGF installation instructions for Mac OSXpeter.ljunglof
2013-01-08Made meta probs an optional argument instead of hard-coded in pgf-translatepeter.ljunglof
2013-01-08New PGF utility: pgf-parsepeter.ljunglof
2013-01-07now the Python binding has an alternative representation for abstract trees w...kr.angelov
2013-01-07a new reasoner in the C runtime. It supports tabling which makes it decideabl...kr.angelov
2012-12-27bugfix in the strings library from the C runtimekr.angelov
2012-12-20bug fix in the new partial evaluatorhallgren
2012-12-20added alltenses to the default search path (just like prelude)aarne
2012-12-20PGFService.hs: code duplication reductionhallgren
2012-12-19partial evaluator bug fixhallgren
2012-12-19GF.Grammar.Lookup: new function lookupResDefLochallgren
2012-12-19bugfix: the linearizer should not generate extra space at the end of the sent...kr.angelov
2012-12-19bugfix for linearization of metavariables at the root of a treekr.angelov
2012-12-19rename linearize.{h/c} to linearizer.{h/c} which follows the convention used ...kr.angelov
2012-12-19a major reimplementation of the linearizer in the C runtimekr.angelov
2012-12-18fixed accidental bug in pgf-parse.ckr.angelov
2012-12-18partial evaluator bug fixhallgren
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-22 06:22:18 +0000