1c36f1fa8d
generalize the nqueens function in NQueens.gf
2010-10-13 17:53:44 +00:00
2ab3081c07
add start category S in NQueens. This helps the EditorApp to find the start category
2010-10-13 13:53:29 +00:00
edf46e3a4d
use "-" and ";" instead of "_" and "\n" in NQueens
2010-10-13 13:47:22 +00:00
cc2232e289
bugfix in PGF.VisualizeTree for handling trees with implicit arguments
2010-10-13 13:32:48 +00:00
aa6fd7b13f
WebUI: show error when depth/limit has invalid value
2010-10-13 12:53:42 +00:00
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
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
44336bf6d6
improved Web UI for queries
2010-10-13 12:31:38 +00:00
1ce14c9120
added option -depth to command gr
2010-10-12 13:36:37 +00:00
95733f0b1b
the exhaustive/random generator now knows how to handle computable functions in the types
2010-10-11 17:18:28 +00:00
c145f18a19
update NQueens to use: 1) lists i.e. [Nat]; 2) implicit arguments
2010-10-11 17:17:04 +00:00
e7f6239bc6
now the generation from template with meta-variables respects the dependent types
2010-10-11 09:59:57 +00:00
9e484c7e8f
extended CountriesAndRegionsRon.gf
2010-10-10 13:10:21 +00:00
adda4b8492
added dummy search box for documents
2010-10-07 16:18:45 +00:00
d0a5b7a1ae
use TabBar for the links in the upper-left corner of the editor
2010-10-07 15:09:59 +00:00
f52b157b34
dummy UI for documents saving/loading in the editor
2010-10-07 14:09:08 +00:00
b10731fd97
forgot to remove a trace message
2010-10-02 13:38:00 +00:00
7d9bbea985
backtracking for random generation is not enough. we must restart the search after each solution
2010-10-02 13:34:58 +00:00
be9ad26aea
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
2010-10-02 13:03:57 +00:00
c0251e76c5
fixes in FridgeApp. now it is compatible with EditorApp
2010-09-30 08:08:57 +00:00
72f505d7df
update PGFService to work after the extensions in the random generation API
2010-09-30 07:35:54 +00:00
10a0d370dc
fix the compilation of FridgeApp
2010-09-29 14:15:36 +00:00
f94725ba4a
restore the method BracketedString.render which was needed for TranslateApp
2010-09-29 13:53:13 +00:00
7c43855ddf
add Magnet.getWord()
2010-09-29 13:47:51 +00:00
eb7679763e
added compilation scripts for the editor
2010-09-29 13:32:23 +00:00
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
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
9e53a4652d
extended Attempto with some constructs
2010-09-29 07:16:33 +00:00
303b3f4700
restricted Cat import in Numeral (for some languages; to do more)
2010-09-29 07:07:07 +00:00
d85c491451
fixes in French morpho quiz grammar
2010-09-28 16:52:48 +00:00
31d0e84617
minibar: update about.html with description of recent changes
2010-09-28 11:46:32 +00:00
6f2a3849f3
minibar/about.html: fix typos and formatting
2010-09-24 12:57:16 +00:00
3d2bf753d4
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
5e1f2c069f
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
11bfee735d
restored the .ebnf grammar format
2010-09-24 12:39:49 +00:00
4e715c3952
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
2010-09-22 15:49:16 +00:00
bc92927692
cleanup and export the Probabilistic API from PGF
2010-09-22 09:06:19 +00:00
ec5052f899
rename BucharestIndia to BucharestRomania. Agreed with Adam Pease
2010-09-21 18:42:39 +00:00
2654d1e5aa
added GeographyEng
2010-09-21 18:40:11 +00:00
cce52f3646
fixes in Basic.gf to avoid loops in the reasoner
2010-09-21 18:38:06 +00:00
6170d8ca35
since Satellite is already subclass of AstronomicalBody we could simplify the signature of NaturalSatellite_Class
2010-09-20 15:21:13 +00:00
d75be87c3d
few more fixes in CountriesAndRegionsEng.gf
2010-09-18 17:29:02 +00:00
144d0188fe
fix the linearization of GuineaBissau
2010-09-18 17:12:52 +00:00
696c4e89de
cleanup CountriesAndRegions and Mondial. For some reasonthe abstract syntax 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
2010-09-18 08:57:50 +00:00
5b089655bd
fix typo: the linearization of Iraq was Iran
2010-09-17 18:32:34 +00:00
86f4b782a4
added MondialRon and CountriesAndRegionsRon with data imported from geonames.org
2010-09-17 16:22:10 +00:00
ea8375dc44
fix the compilation of CountriesAndRegionsEng.gf
2010-09-17 16:20:47 +00:00
323df01cd2
some comments in Mondial.gf
2010-09-17 16:19:40 +00:00
e286359a15
remove Model and ProcessTask from MergeRon because they were already moved
2010-09-17 16:16:36 +00:00
009c5d6889
remove SubClassC and subClassCStm from BasicEng, BasicRon and BasicFre
2010-09-17 15:53:58 +00:00
krasimir