summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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">
2010-09-24restored the .ebnf grammar formataarne
2010-09-22the first revision of exhaustive and random generation with dependent types. ↵krasimir
Still not quite stable.
2010-09-22cleanup and export the Probabilistic API from PGFkrasimir
2010-09-21rename BucharestIndia to BucharestRomania. Agreed with Adam Peasekrasimir
2010-09-21added GeographyEngkrasimir
2010-09-21fixes in Basic.gf to avoid loops in the reasonerkrasimir
2010-09-20since Satellite is already subclass of AstronomicalBody we could simplify ↵krasimir
the signature of NaturalSatellite_Class
2010-09-18few more fixes in CountriesAndRegionsEng.gfkrasimir
2010-09-18fix the linearization of GuineaBissaukrasimir
2010-09-18cleanup CountriesAndRegions and Mondial. For some reasonthe abstract syntax ↵krasimir
for all countries was moved from CountriesAndRegions to Mondial. It is even more odd that there was a linearization for them both in CountriesAndRegions and Mondial
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-31 08:52:35 +0000