152 Commits

Author	SHA1	Message	Date
Christian Grothoff	6ba7747ac3	more traits	2018-01-21 16:01:08 +01:00
Christian Grothoff	82b0eda3ef	new test interpreter architecture, first draft	2018-01-21 15:39:48 +01:00