[DGD] Kernel library 1.3.1

[Felix A. Croes]

diff -c /dev/null kernellib/doc/kernel/Changelog:1.1
*** /dev/null	Thu Nov 19 21:21:21 2009
--- kernellib/doc/kernel/Changelog	Thu Nov 19 21:20:41 2009
***************
*** 0 ****
--- 1,5 ----
+ 1.3.1
+ 
+  - Pass on the new optional argument to dump_state().
+  - Allow an optional index argument for status(), enabling the status()[index]
+    kfun optimization.

http://ftp.dworkin.nl/kernellib/patches/1.3-1.3.1.gz

Regards,
Felix Croes