aarne
|
8a29598f3c
|
English and Swedish resource functions for Query
|
2010-10-20 16:19:33 +00:00 |
|
krasimir
|
43cbc6693d
|
bugfix in the term generation
|
2010-10-20 13:36:39 +00:00 |
|
krasimir
|
6e23da41a2
|
fixed typo which broke the parsing with -openclass
|
2010-10-20 09:04:48 +00:00 |
|
krasimir
|
5acec7be21
|
in the type checker monad we should use lazy pattern matching because otherwise we force the exhaustive tree generation to be strict
|
2010-10-19 13:04:41 +00:00 |
|
krasimir
|
e12d96451d
|
in tutorial/smart remove the hack that forced the proof object to be resolved
|
2010-10-18 12:28:39 +00:00 |
|
krasimir
|
51452d4ef0
|
added explicit depth parameter to the parsing API and the corresponding command in the shell
|
2010-10-18 16:51:25 +00:00 |
|
krasimir
|
afce46b386
|
typo in PGF.TypeCheck which spoiled the previous patch
|
2010-10-18 16:50:55 +00:00 |
|
krasimir
|
7fb5fddbb8
|
now we use the GF reasoner to fillin meta variables in the abstract trees generated from the parser
|
2010-10-18 15:55:14 +00:00 |
|
krasimir
|
2d426cfc7f
|
forgot Birds.gf
|
2010-10-18 13:03:43 +00:00 |
|
krasimir
|
bb749d3b73
|
fixes in DictEng.gf
|
2010-10-18 12:14:05 +00:00 |
|
krasimir
|
ae7f8e4221
|
translation to English of the Birds dictionary
|
2010-10-18 11:41:39 +00:00 |
|
hallgren
|
0d1c3dc62b
|
minibar.html: add a <noscript> element with a note that the page doesn't work unless JavaScript is enabled
|
2010-10-23 14:56:10 +00:00 |
|
hallgren
|
dd7cd640ea
|
minibar.js: show the type error messages that can occur for grammars with dependent types
|
2010-10-18 12:15:30 +00:00 |
|
krasimir
|
423103c86c
|
typo in DictBul.gf
|
2010-10-18 09:08:53 +00:00 |
|
krasimir
|
fb24adb514
|
added one more overloaded version of compoundN in the Bulgarian library
|
2010-10-18 09:07:44 +00:00 |
|
krasimir
|
8b8cb03ccf
|
small Swedish/Bulgarian dictionary of birds in SUMO
|
2010-10-18 08:55:51 +00:00 |
|
hallgren
|
5400728ef7
|
minibar.js: add an option to enable/disable the Random button
|
2010-10-17 16:48:21 +00:00 |
|
krasimir
|
ab19a670a3
|
added .authorspellings file in the root directory
|
2010-10-16 13:10:06 +00:00 |
|
krasimir
|
9fdc7134e8
|
now since the type checking monad TcM is nondeterministic we can use the same monad in PGF.Forest.getAbsTrees
|
2010-10-14 14:28:40 +00:00 |
|
krasimir
|
1c36f1fa8d
|
generalize the nqueens function in NQueens.gf
|
2010-10-13 17:53:44 +00:00 |
|
krasimir
|
2ab3081c07
|
add start category S in NQueens. This helps the EditorApp to find the start category
|
2010-10-13 13:53:29 +00:00 |
|
krasimir
|
edf46e3a4d
|
use "-" and ";" instead of "_" and "\n" in NQueens
|
2010-10-13 13:47:22 +00:00 |
|
krasimir
|
cc2232e289
|
bugfix in PGF.VisualizeTree for handling trees with implicit arguments
|
2010-10-13 13:32:48 +00:00 |
|
krasimir
|
aa6fd7b13f
|
WebUI: show error when depth/limit has invalid value
|
2010-10-13 12:53:42 +00:00 |
|
krasimir
|
f4603cf9d4
|
fix PGF.Generate.restart. The restart should be done only if there are some solutions found
|
2010-10-13 12:38:51 +00:00 |
|
krasimir
|
042790fdf6
|
the PGF service now can do both random and exhaustive generation. these functions now return both the generated tree and its linearization
|
2010-10-13 12:32:49 +00:00 |
|
krasimir
|
44336bf6d6
|
improved Web UI for queries
|
2010-10-13 12:31:38 +00:00 |
|
krasimir
|
1ce14c9120
|
added option -depth to command gr
|
2010-10-12 13:36:37 +00:00 |
|
krasimir
|
95733f0b1b
|
the exhaustive/random generator now knows how to handle computable functions in the types
|
2010-10-11 17:18:28 +00:00 |
|
krasimir
|
c145f18a19
|
update NQueens to use: 1) lists i.e. [Nat]; 2) implicit arguments
|
2010-10-11 17:17:04 +00:00 |
|
krasimir
|
e7f6239bc6
|
now the generation from template with meta-variables respects the dependent types
|
2010-10-11 09:59:57 +00:00 |
|
krasimir
|
9e484c7e8f
|
extended CountriesAndRegionsRon.gf
|
2010-10-10 13:10:21 +00:00 |
|
krasimir
|
adda4b8492
|
added dummy search box for documents
|
2010-10-07 16:18:45 +00:00 |
|
krasimir
|
d0a5b7a1ae
|
use TabBar for the links in the upper-left corner of the editor
|
2010-10-07 15:09:59 +00:00 |
|
krasimir
|
f52b157b34
|
dummy UI for documents saving/loading in the editor
|
2010-10-07 14:09:08 +00:00 |
|
krasimir
|
b10731fd97
|
forgot to remove a trace message
|
2010-10-02 13:38:00 +00:00 |
|
krasimir
|
7d9bbea985
|
backtracking for random generation is not enough. we must restart the search after each solution
|
2010-10-02 13:34:58 +00:00 |
|
krasimir
|
be9ad26aea
|
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
|
2010-10-02 13:03:57 +00:00 |
|
krasimir
|
c0251e76c5
|
fixes in FridgeApp. now it is compatible with EditorApp
|
2010-09-30 08:08:57 +00:00 |
|
krasimir
|
72f505d7df
|
update PGFService to work after the extensions in the random generation API
|
2010-09-30 07:35:54 +00:00 |
|
krasimir
|
10a0d370dc
|
fix the compilation of FridgeApp
|
2010-09-29 14:15:36 +00:00 |
|
krasimir
|
f94725ba4a
|
restore the method BracketedString.render which was needed for TranslateApp
|
2010-09-29 13:53:13 +00:00 |
|
krasimir
|
7c43855ddf
|
add Magnet.getWord()
|
2010-09-29 13:47:51 +00:00 |
|
krasimir
|
eb7679763e
|
added compilation scripts for the editor
|
2010-09-29 13:32:23 +00:00 |
|
krasimir
|
f1713c3634
|
initial import of the new GF editor. Note: the FridgeApp is temporary broken. It will be fixed with the next patch
|
2010-09-29 13:17:48 +00:00 |
|
hallgren
|
518a27a009
|
minibar: work on adding back support for typing multiple words without pressing enter in between
It mostly works now, but some minor issues still need to be fixed.
|
2010-09-29 13:03:40 +00:00 |
|
aarne
|
9e53a4652d
|
extended Attempto with some constructs
|
2010-09-29 07:16:33 +00:00 |
|
aarne
|
303b3f4700
|
restricted Cat import in Numeral (for some languages; to do more)
|
2010-09-29 07:07:07 +00:00 |
|
aarne
|
d85c491451
|
fixes in French morpho quiz grammar
|
2010-09-28 16:52:48 +00:00 |
|
hallgren
|
31d0e84617
|
minibar: update about.html with description of recent changes
|
2010-09-28 11:46:32 +00:00 |
|