summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2010-10-21support for proof search with high-order functionskrasimir
2010-10-20functorized Query and added Sweaarne
2010-10-20bugfix in the term generationkrasimir
2010-10-20fixed typo which broke the parsing with -openclasskrasimir
2010-10-19in the type checker monad we should use lazy pattern matching because ↵krasimir
otherwise we force the exhaustive tree generation to be strict
2010-10-18in tutorial/smart remove the hack that forced the proof object to be resolvedkrasimir
2010-10-18added explicit depth parameter to the parsing API and the corresponding ↵krasimir
command in the shell
2010-10-18typo in PGF.TypeCheck which spoiled the previous patchkrasimir
2010-10-18now we use the GF reasoner to fillin meta variables in the abstract trees ↵krasimir
generated from the parser
2010-10-18forgot Birds.gfkrasimir
2010-10-18translation to English of the Birds dictionarykrasimir
2010-10-23minibar.html: add a <noscript> element with a note that the page doesn't ↵hallgren
work unless JavaScript is enabled
2010-10-18minibar.js: show the type error messages that can occur for grammars with ↵hallgren
dependent types
2010-10-18small Swedish/Bulgarian dictionary of birds in SUMOkrasimir
2010-10-17minibar.js: add an option to enable/disable the Random buttonhallgren
2010-10-16added .authorspellings file in the root directorykrasimir
2010-10-14now since the type checking monad TcM is nondeterministic we can use the ↵krasimir
same monad in PGF.Forest.getAbsTrees
2010-10-13generalize the nqueens function in NQueens.gfkrasimir
2010-10-13add start category S in NQueens. This helps the EditorApp to find the start ↵krasimir
category
2010-10-13use "-" and ";" instead of "_" and "\n" in NQueenskrasimir
2010-10-13bugfix in PGF.VisualizeTree for handling trees with implicit argumentskrasimir
2010-10-13WebUI: show error when depth/limit has invalid valuekrasimir
2010-10-13fix PGF.Generate.restart. The restart should be done only if there are some ↵krasimir
solutions found
2010-10-13the PGF service now can do both random and exhaustive generation. these ↵krasimir
functions now return both the generated tree and its linearization
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
in the types
2010-10-11update NQueens to use: 1) lists i.e. [Nat]; 2) implicit argumentskrasimir
2010-10-11now the generation from template with meta-variables respects the dependent ↵krasimir
types
2010-10-10extended CountriesAndRegionsRon.gfkrasimir
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
after each solution
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ↵krasimir
in the abstract syntax
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 ↵krasimir
broken. It will be fixed with the next patch
2010-09-29minibar: 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-29extended Attempto with some constructsaarne
2010-09-28fixes in French morpho quiz grammaraarne
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
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-24pgf-server HTTP mode: omit charset from ContentType for static fileshallgren
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">
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-29 23:35:03 +0000