niminst: diverse improvements; fixes #80

2012-01-13 21:15:00 +01:00 · 2012-01-13 21:15:00 +01:00 · 8ed3e295a3
commit 8ed3e295a3
parent 69997af8e9
13 changed files with 102 additions and 46 deletions
--- a/todo.txt
+++ b/todo.txt
@ -1,6 +1,7 @@
 version 0.8.14
 ==============

+- improve niminst
 - fix line info in assertions

 version 0.9.0