Change the database table name
tree2f445e1cdb4cd2308b08beca69c041b5a4e136e5
-rw-r--r-- 26 .gitignore
-rw-r--r-- 4044 Add.hs
-rw-r--r-- 125 Bookmark.hs
-rw-r--r-- 125 Citation.hs
-rw-r--r-- 115 Modify.hs
-rw-r--r-- 1004 README
-rw-r--r-- 115 Remove.hs
-rw-r--r-- 115 Search.hs
-rw-r--r-- 1113 Util.hs
-rw-r--r-- 105 View.hs
-rw-r--r-- 1561 hdata.hs