 krasimir
|
38b02bb64d
|
fix the PGF generation when it is used from the shell
|
2010-01-26 14:15:37 +00:00 |
|
|
krasimir
|
a039808141
|
PGF is now real synchronous PMCFG
|
2010-01-17 21:35:36 +00:00 |
|
|
krasimir
|
362f333ebd
|
now the linearization is completely based on PMCFG
|
2010-01-17 17:05:21 +00:00 |
|
|
krasimir
|
61867b2b72
|
prettier parameter names in PGF
|
2010-01-17 00:41:46 +00:00 |
|
|
krasimir
|
190cd6930b
|
small code cleanup in GeneratePMCFG.hs
|
2010-01-16 22:10:45 +00:00 |
|
|
krasimir
|
e5efe28c74
|
move the definitions of _B and _V to PGF.Macros
|
2010-01-12 14:36:41 +00:00 |
|
|
krasimir
|
11218cdbca
|
store the label names in PMCFG
|
2010-01-05 08:35:33 +00:00 |
|
|
krasimir
|
f841b1ada5
|
printnames are now kept as String instead of Term in PGF
|
2010-01-05 07:05:41 +00:00 |
|
|
aarne
|
24f6f9181a
|
one step deeper into records in PGF generation
|
2009-12-16 16:25:52 +00:00 |
|
|
krasimir
|
76debee2c1
|
remove the old parsing code and the -erasing=on flag
|
2009-12-14 10:54:22 +00:00 |
|
|
krasimir
|
15ddc283d4
|
rename some modules that had GFCC in the name to PGF+something
|
2009-12-14 10:10:58 +00:00 |
|
|
krasimir
|
71e51e34c3
|
now the PGF to JavaScript convertor uses PMCFG
|
2009-12-14 09:53:53 +00:00 |
|
|
krasimir
|
c92f9d1c0c
|
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
|
2009-12-13 18:50:29 +00:00 |
|