~tapaal-dist-ctl/verifypn/verifypn-dist-ctl

• Changes
• Files

~tapaal-dist-ctl/verifypn/verifypn-dist-ctl » Changes to Distr.includes from revision 365

From Revision 365

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
322		Added formula printing for the TestPrinter Added formula printing for the TestPrinter	tobiasj1991 at gmail	8 years ago
260		merged in trunk merged in trunk	lasjen12 at aau	8 years ago
236		send token send token	Samuel Pastva	8 years ago

Loggerhead is a web-based interface for Breezy
Version: 2.0.1