| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2010-12-06 | vt -api with conversion to resource API names | aarne | |
| 2010-12-05 | added syntax to api translation module | ra.monique | |
| 2010-12-01 | minibar: rewrite minibar.js in a more idiomatic JS OOP style | hallgren | |
| This provides easier access to minibar internals for people who want to extend it, but probably also reveals too much of the internal machinery... | |||
| 2010-12-01 | Let minibar keep its own copy of tree-btn.png | hallgren | |
| 2010-12-01 | support.js: add function bind (JS OOP trick) | hallgren | |
| 2010-11-28 | minibar/about.html: minor adjustments | hallgren | |
| 2010-11-24 | command ai in the shell now shows the probability of the tree | krasimir | |
| 2010-11-23 | minibar/about.html: document recent development | hallgren | |
| 2010-11-17 | fixed some bugs in translation quiz | aarne | |
| 2010-11-12 | operations in the abstract syntax | krasimir | |
| 2010-11-09 | Some pgf-server API documentation | hallgren | |
| 2010-11-09 | pgf_online.js: if a grammar list is supplied, you don't have to call ↵ | hallgren | |
| switch_grammar. | |||
| 2010-11-09 | minibar.js: code simplification | hallgren | |
| 2010-11-05 | support.js: two new functions: commonPrefix & insertFirst | hallgren | |
| 2010-10-25 | trying to find some inefficiencies in Finnish resource | aarne | |
| 2010-10-31 | added giza Alignments with command ga and merged the rendering algorithm for ↵ | ramona.enache | |
| graphviz and giza alignments | |||
| 2010-10-28 | minibar.js: bug fix: when not using group translation, and a particular ↵ | hallgren | |
| language is chosen in the To: menu, the translation would not be displayed | |||
| 2010-10-28 | minibar.js: bug fix: the To: menu wasn't updated properly when switching ↵ | hallgren | |
| grammars | |||
| 2010-10-26 | minibar: restructured code and improved user interface | hallgren | |
| * Keyboard input and completion should now work much more smoothly: + When you press space, the current word will be completed (if incomplete) and a new magnet will be created. If there is more than one possible completion, no magnet is created, but the common prefix of the possible completions is added to the text box. + Instead of asking the server for possible completions every time a new letter is added to the curent word, minibar only ask for completions for whole words and then filters the list locally when more letters are entered, speeding things up when server responses are slow. * Code restructuring: + The PGF server API has been moved to its own file: pgf_online.js. This allows it to be reused in other applicaitons without importing the entire minibar. It also allows minibar to be used with different server interfaces. + The minibar code has been rewritten to avoid storing state information in the document tree and accessing it by referring to named document elements. The code now also avoids using string literals contaning the names of top-level functions to specify event handlers for buttons and menus. (The code is no longer introspective, so alpha conversion will not change its meaning.) | |||
| 2010-10-26 | support.js: some enhancements and new functions | hallgren | |
| + ajax_http_get(url,callback) now checks the HTTP response status and shows an error message if the status is not OK (is not 200) + New function node(tag,attrs,children) to create document nodes with arbitraty attributes and children. The functions node() and text() should now be enough to construct arbitrary document trees in an easy, functional way, and many of the more specialized functions could be removed. + When calling the function button(label,action,key), the action can be a function instead of a string, so you can use local/anonymous functions. + New function debug(str) adds text to the element with id=debug, if it exists. | |||
| 2010-10-25 | when faced with hard unification problem the type checker should just ↵ | krasimir | |
| postpone the decision instead of failing immediately. added test case as well | |||
| 2010-10-25 | when we print the bracketed string it is useful to print the attached ↵ | krasimir | |
| metavariables as well | |||
| 2010-10-21 | change the TcM monad to continuation passing style. The old monad caused ↵ | krasimir | |
| stack overflow for large search spaces | |||
| 2010-10-21 | support for proof search with high-order functions | krasimir | |
| 2010-10-20 | bugfix in the term generation | krasimir | |
| 2010-10-20 | fixed typo which broke the parsing with -openclass | krasimir | |
| 2010-10-19 | in the type checker monad we should use lazy pattern matching because ↵ | krasimir | |
| otherwise we force the exhaustive tree generation to be strict | |||
| 2010-10-18 | added explicit depth parameter to the parsing API and the corresponding ↵ | krasimir | |
| command in the shell | |||
| 2010-10-18 | typo in PGF.TypeCheck which spoiled the previous patch | krasimir | |
| 2010-10-18 | now we use the GF reasoner to fillin meta variables in the abstract trees ↵ | krasimir | |
| generated from the parser | |||
| 2010-10-23 | minibar.html: add a <noscript> element with a note that the page doesn't ↵ | hallgren | |
| work unless JavaScript is enabled | |||
| 2010-10-18 | minibar.js: show the type error messages that can occur for grammars with ↵ | hallgren | |
| dependent types | |||
| 2010-10-17 | minibar.js: add an option to enable/disable the Random button | hallgren | |
| 2010-10-14 | now since the type checking monad TcM is nondeterministic we can use the ↵ | krasimir | |
| same monad in PGF.Forest.getAbsTrees | |||
| 2010-10-13 | bugfix in PGF.VisualizeTree for handling trees with implicit arguments | krasimir | |
| 2010-10-13 | fix PGF.Generate.restart. The restart should be done only if there are some ↵ | krasimir | |
| solutions found | |||
| 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-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-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-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 | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |