6 commits

Author	SHA1	Message	Date
Benedetta Parodi	c2122d9568	resurrect	2024-10-29 09:11:05 +01:00
Francesco Mecca	dd69606455	single pdf file	2020-05-22 12:15:33 +02:00
Francesco Mecca	d3775adf91	latex + makefiles + fixini	2020-05-22 00:15:00 +02:00
Francesco Mecca	b472e6db1c	riduzione + trace_eq	2020-05-21 23:34:22 +02:00
Francesco Mecca	31dba96560	labeling on derivation graph	2020-05-21 19:59:25 +02:00
Francesco Mecca	9147d35cea	host up	2020-05-21 13:57:43 +02:00