summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2010-12-08some more functions in GF.Data.TrieMapkrasimir
2010-12-08fixed typos in the documentation for PGF.Parsekrasimir
2010-12-06simple refactoring in PGF.Macros and relatedkrasimir
2010-12-07optimize-pgf and file flag in pg -pgfaarne
2010-12-07moved PGF.ToApi to GF.Compile.ToAPIaarne
2010-12-07shell command pg -pgf writes current pgf into a fileaarne
2010-12-07minibar.js: restore start_miniabr function for backward compatibilityhallgren
2010-12-06printing option -api in the eb commandaarne
2010-12-06no more IO in the syntax to API translatorra.monique
2010-12-06vt -api with conversion to resource API namesaarne
2010-12-05added syntax to api translation modulera.monique
2010-12-01minibar: rewrite minibar.js in a more idiomatic JS OOP stylehallgren
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-01Let minibar keep its own copy of tree-btn.pnghallgren
2010-12-01support.js: add function bind (JS OOP trick)hallgren
2010-11-30two examples of the .gfm formataarne
2010-11-30format .gfm for multiple modules in the same file; includes lines with ↵aarne
;-separated words
2010-11-28minibar/about.html: minor adjustmentshallgren
2010-11-26Add builtin preprocessors. Avoid creating tmp file. Fix multipreprocessor bug.hallgren
* The gf command line options -preproc=mkPresent and -preproc=mkMinimal now refer to internal preprocessors equivalent to lib/src/mkPresent and lib/src/mkMinimal. * The temporary file _gf_preproc.tmp is not created when running an internal preprocessor, unless there is an error, since errors messages refer to locations in the preprocessed file. (Possibly allowing the rgl build to be parallelized.) * After running an external preprocessor, the temporary file is deleted, unless there was an error. * (Bug fix) Before, when running more than one preprocessor, the same file name would be used for both input and output, e.g., mkPresent _gf_preproc.tmp > _gf_preproc.tmp which would result in an empty file being processed. Now, the input and output files will always be different.
2010-11-26Split pgf-server into pgf-fcgi and pgf-http.hallgren
The dependency on the fastcgi package made pgf-server difficult to compile, so it is now split into - pgf-fgci (main module in pgf-fcgi.hs), which is built only if fastcgi is already installed or if you turn on the fastcgi flag (e.g. by doing 'cabal install -f fastcgi'). - pgf-http (main module in pgf-http.hs) which is always built (and hopefully has no problematic dependencies.) The modules FastCGIUtils and PGFService no longer depend on fastcgi.
2010-11-25pgf-server: more useful JSON output from lineraizeAllhallgren
Example: Request: http://www.grammaticalframework.org:41296/grammars/Quiz.pgf?command=linearizeAll&tree=Run+YouPl Response: [{"to":"QuizEng","texts":["you run"]}, {"to":"QuizSwe","texts":["ni l??per","ni springer"]}] Compared to the old command linearize: Request: http://www.grammaticalframework.org:41296/grammars/Quiz.pgf?command=linearize&tree=Run+YouPl' Response: [{"to":"QuizEng","text":"you run"}, {"to":"QuizSwe","text":"ni l??per"}]
2010-11-25DiffUrd and Hin; updated Transliteration.hsaarne
2010-11-24linearizeAll in PGFServiceaarne
2010-11-22lang flag in align_words sets the list of languagesaarne
2010-11-24command ai in the shell now shows the probability of the treekrasimir
2010-11-23minibar/about.html: document recent developmenthallgren
2010-11-19tools/Multi, a script for generating multilingual lexicon grammars with the ↵aarne
minimum of effort
2010-11-17fixed some bugs in translation quizaarne
2010-11-17forgot to add ContentService.java in the GF Editorkrasimir
2010-11-15bugfix for the abstract operationskrasimir
2010-11-12operations in the abstract syntaxkrasimir
2010-11-09Some pgf-server API documentationhallgren
2010-11-09pgf_online.js: if a grammar list is supplied, you don't have to call ↵hallgren
switch_grammar.
2010-11-09Make PGFService.hs compile againhallgren
+ PGFService.hs: add Nothing arguments in calls to PGF.parse_ and PGF.getPArseOutput + gf-server.cabal: mark content-server as not buildable, since required source files are missing.
2010-11-09minibar.js: code simplificationhallgren
2010-11-05support.js: two new functions: commonPrefix & insertFirsthallgren
2010-11-07fix the history management in the editorkrasimir
2010-10-25trying to find some inefficiencies in Finnish resourceaarne
2010-11-01preliminary UI for storage/retrieval/search of documents in the GF editorkrasimir
2010-10-31added giza Alignments with command ga and merged the rendering algorithm for ↵ramona.enache
graphviz and giza alignments
2010-10-28minibar.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-28minibar.js: bug fix: the To: menu wasn't updated properly when switching ↵hallgren
grammars
2010-10-26minibar: restructured code and improved user interfacehallgren
* 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-26support.js: some enhancements and new functionshallgren
+ 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-25when 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-25when we print the bracketed string it is useful to print the attached ↵krasimir
metavariables as well
2010-10-25fixed typo in GeneratePMCFG.hs. fidFloat -> fidVarkrasimir
2010-10-25During the compilation, the final message "OK" should be displayed only if ↵krasimir
we are not in silent mode. This was changed incidentally on the way.
2010-10-21change the TcM monad to continuation passing style. The old monad caused ↵krasimir
stack overflow for large search spaces
2010-10-21support for proof search with high-order functionskrasimir
2010-10-20bugfix in the term generationkrasimir