summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2010-10-13the PGF service now can do both random and exhaustive generation. these funct...krasimir
2010-10-13improved Web UI for querieskrasimir
2010-10-12added option -depth to command grkrasimir
2010-10-11the exhaustive/random generator now knows how to handle computable functions ...krasimir
2010-10-11now the generation from template with meta-variables respects the dependent t...krasimir
2010-10-07added dummy search box for documentskrasimir
2010-10-07use TabBar for the links in the upper-left corner of the editorkrasimir
2010-10-07dummy UI for documents saving/loading in the editorkrasimir
2010-10-02forgot to remove a trace messagekrasimir
2010-10-02backtracking for random generation is not enough. we must restart the search ...krasimir
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ...krasimir
2010-09-30fixes in FridgeApp. now it is compatible with EditorAppkrasimir
2010-09-30update PGFService to work after the extensions in the random generation APIkrasimir
2010-09-29fix the compilation of FridgeAppkrasimir
2010-09-29restore the method BracketedString.render which was needed for TranslateAppkrasimir
2010-09-29add Magnet.getWord()krasimir
2010-09-29added compilation scripts for the editorkrasimir
2010-09-29initial import of the new GF editor. Note: the FridgeApp is temporary broken....krasimir
2010-09-29minibar: work on adding back support for typing multiple words without pressi...hallgren
2010-09-28minibar: update about.html with description of recent changeshallgren
2010-09-24minibar/about.html: fix typos and formattinghallgren
2010-09-24minibar.html: specify charset, move initializationhallgren
2010-09-24pgf-server HTTP mode: omit charset from ContentType for static fileshallgren
2010-09-24restored the .ebnf grammar formataarne
2010-09-22the first revision of exhaustive and random generation with dependent types. ...krasimir
2010-09-22cleanup and export the Probabilistic API from PGFkrasimir
2010-09-12bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be su...krasimir
2010-09-14minibar.js: server API code cleanuphallgren
2010-09-14minibar.js: bug fix: the current word should be accepted when you press enter...hallgren
2010-09-14minibar.js: add access keys to some of the buttonshallgren
2010-09-10support.js: create buttons with access keyshallgren
2010-09-10pgf-server HTTP mode: support the Accept-Language headerhallgren
2010-09-10minibar: default input language is now the user's preferred language, if poss...hallgren
2010-09-10minibar: use AJAX instead of JSONP when possiblehallgren
2010-09-05Minibar: PGF server API: pass callback functions directly instead of passing ...hallgren
2010-09-05minibar: fix broken link to brushed-metal backgroundhallgren
2010-09-03pgf-server HTTP mode: workaround for bugs in the httpd-shed package that prev...hallgren
2010-09-02pgf-server HTTP mode feature: return the contents of index.html when the URL ...hallgren
2010-09-02Bug fix: add missing error handler for statically served files in pgf-server ...hallgren
2010-09-01Standalone HTTP version of pgf-serverhallgren
2010-08-30added missing case for GF.Compile.GeneratePMCFG.evalTermkrasimir
2010-08-30PGF.Expr.normalForm does variable renamingkrasimir
2010-08-27Adapt minibar.js to the current GF web service APIhallgren
2010-08-09native representation for HOAS in PMCFG and incremental type checking of the ...krasimir
2010-08-24more advanced complete function in the PGFServicekrasimir
2010-08-24revert the TranslateApp to its classical simple variantkrasimir
2010-08-24remove Editor.css as wellkrasimir
2010-08-24remove the canParse flag from the GWT applicationskrasimir
2010-08-24remove the experimental GWT EditorAppkrasimir
2010-08-19GF emacs modeaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 15:03:52 +0000