8 Commits

Author	SHA1	Message	Date
krangelov	df82e1e7ca	complete the linearization of pre	2021-12-03 11:29:01 +01:00
krangelov	03a5353c08	implement CAPIT & ALL_CAPIT	2021-12-01 13:56:52 +01:00
krangelov	c21627950a	remove the accidentally added debug messages	2021-10-01 12:01:05 +02:00
krangelov	0708f6e0cc	when at EOF don't try to read further	2021-10-01 11:57:31 +02:00
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