| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2010-10-13 | bugfix in PGF.VisualizeTree for handling trees with implicit arguments | krasimir | |
| 2010-10-13 | WebUI: show error when depth/limit has invalid value | krasimir | |
| 2010-10-13 | fix PGF.Generate.restart. The restart should be done only if there are some ↵ | krasimir | |
| solutions found | |||
| 2010-10-13 | the PGF service now can do both random and exhaustive generation. these ↵ | krasimir | |
| functions now return both the generated tree and its linearization | |||
| 2010-10-13 | improved Web UI for queries | krasimir | |
| 2010-10-12 | added option -depth to command gr | krasimir | |
| 2010-10-11 | the exhaustive/random generator now knows how to handle computable functions ↵ | krasimir | |
| in the types | |||
| 2010-10-11 | now the generation from template with meta-variables respects the dependent ↵ | krasimir | |
| types | |||
| 2010-10-07 | added dummy search box for documents | krasimir | |
| 2010-10-07 | use TabBar for the links in the upper-left corner of the editor | krasimir | |
| 2010-10-07 | dummy UI for documents saving/loading in the editor | krasimir | |
| 2010-10-02 | forgot to remove a trace message | krasimir | |
| 2010-10-02 | backtracking for random generation is not enough. we must restart the search ↵ | krasimir | |
| after each solution | |||
| 2010-10-02 | refactor the API for random generation again. Now PGF contains probabilities ↵ | krasimir | |
| in the abstract syntax | |||
| 2010-09-30 | fixes in FridgeApp. now it is compatible with EditorApp | krasimir | |
| 2010-09-30 | update PGFService to work after the extensions in the random generation API | krasimir | |
| 2010-09-29 | fix the compilation of FridgeApp | krasimir | |
| 2010-09-29 | restore the method BracketedString.render which was needed for TranslateApp | krasimir | |
| 2010-09-29 | add Magnet.getWord() | krasimir | |
| 2010-09-29 | added compilation scripts for the editor | krasimir | |
| 2010-09-29 | initial import of the new GF editor. Note: the FridgeApp is temporary ↵ | krasimir | |
| broken. It will be fixed with the next patch | |||
| 2010-09-29 | minibar: work on adding back support for typing multiple words without ↵ | hallgren | |
| pressing enter in between It mostly works now, but some minor issues still need to be fixed. | |||
| 2010-09-28 | minibar: update about.html with description of recent changes | hallgren | |
| 2010-09-24 | minibar/about.html: fix typos and formatting | hallgren | |
| 2010-09-24 | minibar.html: specify charset, move initialization | hallgren | |
| Added a meta tag to specify that the file is in UTF-8. This makes the browser (at least Firefox) assume that the JavaScript files are also in UTF-8, it seems. Moved the call to start_minibar() from the <body onload="..."> to the end of the file. The onload action is not executed until all images in the document has been loaded, while javascipt at the end of the file is executed as soon as the HTML file has been loaded. (Calling start_minibar() from the head of the document would be too soon, since it refers to elements in the body, which hasn't been loaded yet.) | |||
| 2010-09-24 | pgf-server HTTP mode: omit charset from ContentType for static files | hallgren | |
| When pfg-server servers a static file in HTTP mode, it is output as is, so specifying charset="iso-8859-1" could be wrong. Note: the a charset can be specified with a meta tag in HTML files, e.g. for files in UTF-8: <meta http-equiv="Content-type" content="text/html;charset=UTF-8"> | |||
| 2010-09-24 | restored the .ebnf grammar format | aarne | |
| 2010-09-22 | the first revision of exhaustive and random generation with dependent types. ↵ | krasimir | |
| Still not quite stable. | |||
| 2010-09-22 | cleanup and export the Probabilistic API from PGF | krasimir | |
| 2010-09-12 | bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be ↵ | krasimir | |
| supported in GF | |||
| 2010-09-14 | minibar.js: server API code cleanup | hallgren | |
| 2010-09-14 | minibar.js: bug fix: the current word should be accepted when you press ↵ | hallgren | |
| enter if it matches one of the possible completions exactly The current word is also accepted if there is only one remaining possible completion. | |||
| 2010-09-14 | minibar.js: add access keys to some of the buttons | hallgren | |
| 2010-09-10 | support.js: create buttons with access keys | hallgren | |
| 2010-09-10 | pgf-server HTTP mode: support the Accept-Language header | hallgren | |
| It is needed for the userLanguage field in the grammar info from pgf-server | |||
| 2010-09-10 | minibar: default input language is now the user's preferred language, if ↵ | hallgren | |
| possible This is implemented using the userLanguage field in the grammar info output by pgf-server. | |||
| 2010-09-10 | minibar: use AJAX instead of JSONP when possible | hallgren | |
| Using AJAX instead of JSONP can give better caching in the browser, since the URL doesn't need to contain a (dynamically generated) callback function name. But because of the same origin policy in JavaScript, AJAX can only be used when the HTML file is served from the same server as the PGF. The new function http_get_json in support.js uses AJAX if this is the case, and falls back to JSONP otherwise. | |||
| 2010-09-05 | Minibar: PGF server API: pass callback functions directly instead of passing ↵ | hallgren | |
| function names as strings. | |||
| 2010-09-05 | minibar: fix broken link to brushed-metal background | hallgren | |
| Solution: include a local copy of brushed-metal.png | |||
| 2010-09-03 | pgf-server HTTP mode: workaround for bugs in the httpd-shed package that ↵ | hallgren | |
| prevented the fridge and translate web apps from working queryToArguments "?&input=bla+bla" returns [("&input","bla+bla")] but should return [("input","bla bla")] | |||
| 2010-09-02 | pgf-server HTTP mode feature: return the contents of index.html when the URL ↵ | hallgren | |
| refers to a directory | |||
| 2010-09-02 | Bug fix: add missing error handler for statically served files in pgf-server ↵ | hallgren | |
| HTTP mode | |||
| 2010-09-01 | Standalone HTTP version of pgf-server | hallgren | |
| pgf-server can now act as a standalone HTTP server. To activate this mode, start it with pfg-server http to use the default port number (41296), or give an explicit port number, e.g., pgf-server http 8080 The HTTP server serves PGF files in the same way as the old FastCGI interface. In addition, it also serves static files. The document root for static files is the www subdirectory of the current directory where pgf-server is started. In spite of these addition, backwards compatibility is maintaned. The old FastCGI interface continues to work as before. (It is activated when pgf-server is started without arguments.) | |||
| 2010-08-30 | added missing case for GF.Compile.GeneratePMCFG.evalTerm | krasimir | |
| 2010-08-30 | PGF.Expr.normalForm does variable renaming | krasimir | |
| 2010-08-27 | Adapt minibar.js to the current GF web service API | hallgren | |
| Quick fix. More work needed for correct behaviour when multiple words are entered at once. | |||
| 2010-08-09 | native representation for HOAS in PMCFG and incremental type checking of the ↵ | krasimir | |
| parse forest | |||
| 2010-08-24 | more advanced complete function in the PGFService | krasimir | |
| 2010-08-24 | revert the TranslateApp to its classical simple variant | krasimir | |
| 2010-08-24 | remove Editor.css as well | krasimir | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |