hallgren
1fd4ed7421
support.js: new function span_id, bug fix in function sort
2010-05-28 14:41:30 +00:00
krasimir
5e2feb4b60
since now we don't do common subexpression elimination for PGF we could simplify the PMCFG generation
2010-05-26 09:37:32 +00:00
hallgren
77d464951e
Add meta tag to avoid horizontal scrolling in Mobile Safari
...
With thanks to codinggeekette,
http://www.codinggeekette.com/post/Mobile-Safari-40-2b-Horizontal-Scrolling-3d-SUX.aspx
2010-05-26 21:03:57 +00:00
hallgren
928c80e8a0
Improved keyboard input handling in minibar/phrasebook
...
1. The text input field is shown form the start, no need to click.
2. The text input field is removed when no more words can be added to the
sentence.
3. When you press Enter, a word is added to the sentence (1) if there is only
one possible completion left (e.g. if you typed "airp" and the only
completion is "airport"), or (2) if what you typed exactly matches one
of the completions (e.g. if you typed "the" and the completions are
"the", "theatre" and "these").
2010-05-26 15:49:08 +00:00
hallgren
6d730943a3
Enable display of abstract syntax in minibar
2010-05-26 15:48:06 +00:00
hallgren
1ff6d92b17
Use <input type=button ...> instead of <div ...> tags for the word magnets. This should make them clickable in more browsers and could improve layout.
2010-05-26 11:47:15 +00:00
hallgren
2b6d0ca25e
Change server to http://www.grammaticalframework.org:41296
2010-05-26 11:46:25 +00:00
krasimir
bb8eb03fbc
some fixes for graphvizDependencyTree
2010-05-25 13:01:59 +00:00
krasimir
31a93aa08b
bugfix in the linearization algorithm
2010-05-25 10:27:48 +00:00
hallgren
76ee1a9f67
hide the language code if translating to only one target language
2010-05-21 10:43:19 +00:00
hallgren
ec76b02be1
smaller input field
2010-05-21 10:42:30 +00:00
krasimir
7e8a5d05ca
now every BracketedString also has reference to the source expression(s)
2010-05-19 13:32:39 +00:00
krasimir
8e01bc3118
added function lengthBracketedString
2010-05-19 12:40:07 +00:00
krasimir
529447f56f
now the parser could return partial parse results
2010-05-19 12:31:36 +00:00
krasimir
724ccb9b94
simple refactoring: use ActiveKey in PGF.Parse.getParseResult instead of plain pair of FId and LIndex
2010-05-17 06:12:45 +00:00
krasimir
5249711c34
in PGF, when printing function and category definitions, add semicolon
2010-05-11 12:50:51 +00:00
aarne
788fe8a37e
Amharic transliteration by Markos
2010-05-07 12:23:57 +00:00
aarne
b8a6a1761d
fixed two bugs in gt
2010-05-06 18:56:18 +00:00
krasimir
a9453c87ab
refactor BracketedString
2010-05-01 21:02:32 +00:00
krasimir
a587cfef40
bug fix for bracketedLinearize with HOAS and meta variables
2010-05-01 20:51:07 +00:00
krasimir
9fe715a58d
fixes in unStr,unInt,unDouble,isMeta
2010-05-01 07:29:41 +00:00
krasimir
8742ebee38
for backward compatibility we have the old parse function again. the old functionality is exposed by parse_
2010-04-30 20:18:26 +00:00
krasimir
d2ae070eac
optimize/simplify the error reporting in the new API
2010-04-30 20:16:16 +00:00
hallgren
87cc4d7624
Merge phrasebook.js into minibar.js
2010-04-30 14:55:56 +00:00
hallgren
4fd94cc5c1
Some work on the Saldo game
2010-04-28 12:58:17 +00:00
krasimir
83528f15d7
first incarnation of the bracketed string API
2010-04-30 14:36:06 +00:00
krasimir
94235548c4
fix parsing of literals
2010-04-23 20:46:14 +00:00
aarne
a3465202e9
removed mention of 2.9 welcome, and some traces in visualization
2010-04-22 06:36:37 +00:00
hallgren
14a053a81b
Some work on minibar:
...
1. Menu for choosing target language.
2. Pass options when calling start_minibar.
See about.html for more details.
2010-04-19 16:48:26 +00:00
hallgren
be045d40fa
Work in progress on keyboard input in minibar
2010-04-15 15:42:18 +00:00
hallgren
6e24b79dcd
Code simplification
2010-04-15 15:41:30 +00:00
hallgren
603536a2f2
Omit redundant trailing "&" in jsonp url
2010-04-15 13:48:28 +00:00
hallgren
0b1a2bb20b
Fix bug in get_grammarlist. Some code simplificaiton.
2010-04-15 13:33:21 +00:00
krasimir
9377fd7c7c
fix the molto-molto-molto problem
2010-04-12 13:55:40 +00:00
hallgren
b3c8cf315a
Some documentation
2010-04-09 14:04:18 +00:00
hallgren
1b4dd1df71
Abstract out grammar access method
2010-04-09 14:00:38 +00:00
hallgren
df6ab55915
Adding the Minibar files to the darcs repository.
2010-04-09 13:51:34 +00:00
aarne
0e2f34b269
in the shell, permit 3-letter lang codes as concrete syntax names
2010-04-04 20:46:36 +00:00
krasimir
3b7d0e4fcc
export fullFormLexicon from PGF
2010-03-31 11:09:12 +00:00
aarne
13a7954646
Action category, more doc in Phrasebook
2010-03-28 19:29:06 +00:00
krasimir
ce99935812
now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types.
2010-03-24 11:11:55 +00:00
krasimir
ba3b57bff9
add JavaScript API for completion. contributed by John J. Camilleri
2010-03-23 08:55:56 +00:00
aarne
d1615144b6
PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage
2010-03-22 19:03:06 +00:00
krasimir
a74a81b8a1
pattern @ should be propagated to PGF
2010-03-18 20:21:57 +00:00
krasimir
0c2944fa7f
syntax for inaccessible patterns in GF
2010-03-18 19:34:30 +00:00
krasimir
34f5b2a436
bugfix in PGF.TypeCheck
2010-03-14 12:21:00 +00:00
krasimir
6a89647a6d
cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope
2010-03-13 20:12:00 +00:00
krasimir
5d2b204246
refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store
2010-02-22 15:50:41 +00:00
krasimir
f3c6acc6dc
bugfix in PGF.TypeCheck
2010-02-20 18:48:06 +00:00
krasimir
e54ac49769
fix in PGF.Printer
2010-02-17 10:31:10 +00:00
