 krasimir
|
d88a865faf
|
rename #Var to __gfVar because it breaks the JavaScript editor
|
2009-12-13 15:29:26 +00:00 |
|
|
krasimir
|
5804db9816
|
judgements lindef are now respected by both the parser and the linearizer
|
2009-12-11 17:39:18 +00:00 |
|
|
krasimir
|
b1a51f46f5
|
change the data types and the syntax in PGF to match the new syntax for implict arguments
|
2009-09-20 11:43:41 +00:00 |
|
|
krasimir
|
1cdf171251
|
polish the PGF API and make Expr and Type abstract types. Tree is a type synonym of Expr
|
2009-09-11 13:45:34 +00:00 |
|
|
krasimir
|
28a7c4b5c7
|
now the datatype Tree is only internal. All API functions are working with Expr directly. Commands gt, gr, p and rf filter out the output via the typechecker
|
2009-09-08 08:40:28 +00:00 |
|
|
krasimir
|
279ff9a6d2
|
PGF.Type.Hypo now can represent explicit and implicit arguments and argument without bound variable
|
2009-07-05 15:44:52 +00:00 |
|
|
krasimir
|
41b263cf6a
|
some work on evaluation with abstract expressions in PGF
|
2009-05-22 18:54:51 +00:00 |
|
|
krasimir
|
7db4b641ce
|
refactor the PGF.Expr type and the evaluation of abstract expressions
|
2009-05-20 21:03:56 +00:00 |
|
|
bjorn
|
6b8c9dd4c9
|
Added PGF.Macros.mapConcretes
|
2008-10-20 14:51:42 +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
|
418856d9bf
|
move the literal category names to PGF.Macros
|
2008-10-19 14:21:58 +00:00 |
|
|
bjorn
|
5422eb54d9
|
code tweak: use Map.findWithDefault in PGF.Macros.lookMap
|
2008-10-16 08:22:04 +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
|
4e795bab9b
|
a first version of PGF.AbsCompute
|
2008-10-10 15:53:17 +00:00 |
|
|
aarne
|
e765b97fc4
|
simplified 1.5 by removing mathematical/
|
2008-10-06 12:49:13 +00:00 |
|
|
bjorn
|
0f4e8468be
|
Added isLiteralCat function to PGF.Macros.
|
2008-09-26 15:04:13 +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 |
|