7 Commits

Author	SHA1	Message	Date
krangelov	f7aad0c0e0	added createCategory, dropCategory	2021-09-09 17:33:25 +02:00
krangelov	3e7d80bf30	reading & showing unicode identifiers	2021-08-27 14:44:42 +02:00
krangelov	5271ddd10b	PgfPrinter::nprintf dynamically reallocates the printing buffer if needed	2021-08-27 11:57:58 +02:00
krangelov	8195f8b0cb	support for unbounded integers	2021-08-27 11:31:10 +02:00
krangelov	b28e891a6b	a type annotated version of marshaller/unmarshaller	2021-08-26 17:27:34 +02:00
krangelov	69f74944e2	The unmarshaller is no longer stored in the PGF object but is passed explicitly to each function that needs it.	2021-08-26 16:14:56 +02:00
krangelov	275addfcbe	pretty printing for expressions and types	2021-08-26 15:46:16 +02:00