4 Commits

Author	SHA1	Message	Date
Christian Grothoff	955054bf25	misc bugfixes	2015-05-15 14:36:08 +02:00
Christian Grothoff	6c774a1f03	completing test-case implementation:	2015-05-15 14:16:10 +02:00
Christian Grothoff	6b9ccc4ca0	fixing misc. minor bugs, towards getting testcases to work	2015-05-15 09:53:31 +02:00
Christian Grothoff	62e7d30750	sync	2015-05-13 20:16:36 +02:00