Add: checks is volume is a number
tree37b2e1153df3b6107331ade864439adc4691fb56
-rw-r--r-- 31 .gitignore
-rw-r--r-- 5680 Add.hs
-rw-r--r-- 887 Bookmark.hs
-rw-r--r-- 35147 COPYING
-rw-r--r-- 883 Citation.hs
-rw-r--r-- 871 Modify.hs
-rw-r--r-- 1004 README
-rw-r--r-- 871 Remove.hs
-rw-r--r-- 1681 Search.hs
-rw-r--r-- 3006 Util.hs
-rw-r--r-- 859 View.hs
-rw-r--r-- 2395 hdata.hs