 krasimir
|
ee3ce9694c
|
store the label names in PMCFG
|
2010-01-05 08:35:33 +00:00 |
|
|
krasimir
|
3ed19a482e
|
printnames are now kept as String instead of Term in PGF
|
2010-01-05 07:05:41 +00:00 |
|
|
aarne
|
6a130d2e86
|
one step deeper into records in PGF generation
|
2009-12-16 16:25:52 +00:00 |
|
|
krasimir
|
c036459214
|
remove the old parsing code and the -erasing=on flag
|
2009-12-14 10:54:22 +00:00 |
|
|
krasimir
|
faa638d6fc
|
rename some modules that had GFCC in the name to PGF+something
|
2009-12-14 10:10:58 +00:00 |
|
|
krasimir
|
a7811d1199
|
now the PGF to JavaScript convertor uses PMCFG
|
2009-12-14 09:53:53 +00:00 |
|
|
krasimir
|
f85232947e
|
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
|
2009-12-13 18:50:29 +00:00 |
|