log

age author description
Fri, 03 Feb 2012 19:04:51 -0500 John W. Eaton use 8 minor tick marks per decade for log scale plots, not 9. stable
Fri, 03 Feb 2012 23:17:09 +0100 Jacob Dawid Made the symbol table more thread-safe. gui
Fri, 03 Feb 2012 19:21:57 +0100 Jacob Dawid Guarded access to symbol_table with mutexes. gui