moved Antimony symbols into a separate file
tree1400b50e9995a012b2c098a96ee34f27edb1ffe0
drwxr-xr-x - bootstrap
-rwxr-xr-x 3466 configure
drwxr-xr-x - src
drwxr-xr-x - test