e36cc73b0f
in tutorial/smart remove the hack that forced the proof object to be resolved
2010-10-18 12:28:39 +00:00
775e59dabe
added explicit depth parameter to the parsing API and the corresponding command in the shell
2010-10-18 16:51:25 +00:00
205ac48ac3
typo in PGF.TypeCheck which spoiled the previous patch
2010-10-18 16:50:55 +00:00
702b4aad3b
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
9723055350
forgot Birds.gf
2010-10-18 13:03:43 +00:00
4e382e3306
translation to English of the Birds dictionary
2010-10-18 11:41:39 +00:00
57f0124f2a
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
d803d2a925
minibar.js: show the type error messages that can occur for grammars with dependent types
2010-10-18 12:15:30 +00:00
ca0214d6a1
small Swedish/Bulgarian dictionary of birds in SUMO
2010-10-18 08:55:51 +00:00
26da60d0a9
minibar.js: add an option to enable/disable the Random button
2010-10-17 16:48:21 +00:00
9acd33f878
added .authorspellings file in the root directory
2010-10-16 13:10:06 +00:00
05a52d6937
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
82214f0be5
generalize the nqueens function in NQueens.gf
2010-10-13 17:53:44 +00:00
95713b9489
add start category S in NQueens. This helps the EditorApp to find the start category
2010-10-13 13:53:29 +00:00
354838807f
use "-" and ";" instead of "_" and "\n" in NQueens
2010-10-13 13:47:22 +00:00
7fc638e030
bugfix in PGF.VisualizeTree for handling trees with implicit arguments
2010-10-13 13:32:48 +00:00
5ff6489013
WebUI: show error when depth/limit has invalid value
2010-10-13 12:53:42 +00:00
09ce38742c
fix PGF.Generate.restart. The restart should be done only if there are some solutions found
2010-10-13 12:38:51 +00:00
cecf94d729
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
63ac5f5db6
improved Web UI for queries
2010-10-13 12:31:38 +00:00
8970184578
added option -depth to command gr
2010-10-12 13:36:37 +00:00
de0354f991
the exhaustive/random generator now knows how to handle computable functions in the types
2010-10-11 17:18:28 +00:00
3ac637ddcb
update NQueens to use: 1) lists i.e. [Nat]; 2) implicit arguments
2010-10-11 17:17:04 +00:00
f305587a62
now the generation from template with meta-variables respects the dependent types
2010-10-11 09:59:57 +00:00
d8aa316588
extended CountriesAndRegionsRon.gf
2010-10-10 13:10:21 +00:00
52cd3d5cbd
added dummy search box for documents
2010-10-07 16:18:45 +00:00
339de4c281
use TabBar for the links in the upper-left corner of the editor
2010-10-07 15:09:59 +00:00
5f84c53681
dummy UI for documents saving/loading in the editor
2010-10-07 14:09:08 +00:00
89ae7a3ac4
forgot to remove a trace message
2010-10-02 13:38:00 +00:00
7200244605
backtracking for random generation is not enough. we must restart the search after each solution
2010-10-02 13:34:58 +00:00
cb8795c222
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
2010-10-02 13:03:57 +00:00
72cc4ddb59
fixes in FridgeApp. now it is compatible with EditorApp
2010-09-30 08:08:57 +00:00
c200232bfd
update PGFService to work after the extensions in the random generation API
2010-09-30 07:35:54 +00:00
3c3082f8ee
fix the compilation of FridgeApp
2010-09-29 14:15:36 +00:00
35b14d26f3
restore the method BracketedString.render which was needed for TranslateApp
2010-09-29 13:53:13 +00:00
fdcec4273c
add Magnet.getWord()
2010-09-29 13:47:51 +00:00
8d37ed015e
added compilation scripts for the editor
2010-09-29 13:32:23 +00:00
3b11f81c6b
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
8b7d27fe4c
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
fe15579b31
extended Attempto with some constructs
2010-09-29 07:16:33 +00:00
8fa5a50728
fixes in French morpho quiz grammar
2010-09-28 16:52:48 +00:00
66672d8af1
minibar: update about.html with description of recent changes
2010-09-28 11:46:32 +00:00
1ac7a8bd7c
minibar/about.html: fix typos and formatting
2010-09-24 12:57:16 +00:00
72fe93a8c4
minibar.html: specify charset, move initialization
...
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-24 12:47:18 +00:00
8ce7ef3bdd
pgf-server HTTP mode: omit charset from ContentType for static files
...
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-24 12:34:38 +00:00
709b0518fa
restored the .ebnf grammar format
2010-09-24 12:39:49 +00:00
617ce3cce6
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
2010-09-22 15:49:16 +00:00
1c9305e7a3
cleanup and export the Probabilistic API from PGF
2010-09-22 09:06:19 +00:00
fb15e95a07
rename BucharestIndia to BucharestRomania. Agreed with Adam Pease
2010-09-21 18:42:39 +00:00
ef1a4ebc6e
added GeographyEng
2010-09-21 18:40:11 +00:00
krasimir