10 Commits

Author	SHA1	Message	Date
krangelov	2a5434df96	avoid using the wildcard constant	2021-10-12 19:07:21 +02:00
krangelov	9fe6ee3cce	bugfixes for showContext & showType	2021-09-14 19:54:38 +02:00
krangelov	a7bf47cb87	added showContext	2021-09-14 19:10:01 +02:00
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