4 commits

Author	SHA1	Message	Date
Andreas Rumpf	e65c89ee28	fixes #4177	2016-05-28 22:40:28 +02:00
def	fd4e629905	Rename PNimrodNode to NimNode	2015-03-17 17:50:32 +01:00
Araq	c6034277fc	further adaptations	2014-08-29 09:12:12 +02:00
Araq	20b5f31c03	new tester; all tests categorized	2014-01-13 02:10:03 +01:00