3e158d0afc585e9fddd202c0fb7ddbe3f215fc30
Some smaller fixes and some new functions/doc, too
Description
Languages
Java
99.2%
Python
0.3%
Shell
0.2%
Standard ML
0.2%