4 Commits

Author	SHA1	Message	Date
krangelov	f7aad0c0e0	added createCategory, dropCategory	2021-09-09 17:33:25 +02:00
krangelov	41ef5f9539	textdup is now safe in case of memory overflow	2021-08-27 13:03:11 +02:00
krangelov	275addfcbe	pretty printing for expressions and types	2021-08-26 15:46:16 +02:00
krangelov	91f183ca6a	move the C sources to the subfolder pgf again for backwards compatibility	2021-08-08 18:29:16 +02:00