 krasimir
|
3ee04cc42d
|
fix the unicode encoding problem with the cc command
|
2009-08-18 07:08:44 +00:00 |
|
|
krasimir
|
e5c8636a5f
|
now in the command shell the primary type in the pipe is Expr not Tree. This makes the pt -compute and pt -typecheck more interesting
|
2009-05-23 21:33:52 +00:00 |
|
|
krasimir
|
c6ac4801ad
|
upgrade to GHC 6.10.2
|
2009-04-30 05:13:55 +00:00 |
|
|
krasimir
|
a391c69fd3
|
use new parser which supports the syntax in GF.Grammar.Grammar directly
|
2009-03-16 14:10:30 +00:00 |
|
|
krasimir
|
7babfd1da6
|
qualified/unqualified mode for GF.Grammar.Printer. Used in the "cc" command
|
2009-03-04 13:41:33 +00:00 |
|
|
krasimir
|
6be08d77e0
|
fix the handling of flag coding
|
2009-02-23 14:17:16 +00:00 |
|
|
aarne
|
f7dfc6f1d7
|
command dg for showing source grammar dep graph restored
|
2008-12-19 14:28:58 +00:00 |
|
|
krasimir
|
4104b83801
|
Windows fix: the default coding isn't utf8 but the current system codepage. The se command changes the codepage as well as the coding
|
2008-10-25 20:26:48 +00:00 |
|
|
krasimir
|
9ba3b739df
|
fix the word completion in the shell
|
2008-10-22 11:27:01 +00:00 |
|
|
krasimir
|
bb007215ab
|
fix a typo. It is option "-cat" not "-type"
|
2008-10-22 09:36:50 +00:00 |
|
|
bjorn
|
a26290659d
|
Replace Category with Type in the PGF API. Added readLanguage and showLanguage.
|
2008-10-20 11:35:05 +00:00 |
|
|
krasimir
|
eb0fefec28
|
preparation for dep. types. The -cat option can take any type instead of just a category. The PGF API is generalized as well.
|
2008-10-20 08:42:39 +00:00 |
|
|
krasimir
|
4573d10442
|
the new optimized incremental parser and the common subexpression elimination optimization in PMCFG
|
2008-10-14 08:00:50 +00:00 |
|
|
aarne
|
429092ac6a
|
added mode 'gf --run' for running silently a script ; made quizzes handle character encoding correctly ; for this end, collected coding functions in GF.Text.Coding
|
2008-10-01 16:01:51 +00:00 |
|
|
aarne
|
033da07c39
|
show "error" in run interruptibly mode in GFI
|
2008-09-09 06:58:38 +00:00 |
|
|
aarne
|
ed06f631e9
|
removed repeated CPU time printing in GFI
|
2008-08-23 15:35:39 +00:00 |
|
|
krasimir
|
60c2d054ee
|
the shell now supports cp1251 coding with se command. works with the word completion as well
|
2008-06-27 10:33:46 +00:00 |
|
|
aarne
|
f7b2a83059
|
version-related changes in Makefile and help
|
2008-06-27 09:09:29 +00:00 |
|
|
aarne
|
e8dc8c3ef5
|
interrupt in proper place in GFI
|
2008-06-27 06:50:50 +00:00 |
|
|
aarne
|
757ea827e6
|
debugging arabic
|
2008-06-26 21:40:21 +00:00 |
|
|
aarne
|
33eb6d899f
|
moved interruption to GFI level to capture all commands
|
2008-06-26 21:01:51 +00:00 |
|
|
aarne
|
ed708ffda6
|
uniform encoding: gfo and pgf in UTF8, internal in unicode
|
2008-06-26 16:35:45 +00:00 |
|
|
aarne
|
e9e80fc389
|
changed names of resource-1.3; added a note on homepage on release
|
2008-06-25 16:54:35 +00:00 |
|