Lars Jung efc4623a0b Minor changes.

2015-05-20 22:44:08 +02:00

..

integration

Minor changes.

2015-05-20 22:44:08 +02:00

unit

Update tests.

2015-05-16 22:15:54 +02:00

premisses.js

Fix tests.

2015-05-08 22:13:06 +02:00