I just made the classic mistake of upgrading VectorWorks12 to VectorWorks12.5 before checking to see if Art*Lantis had an update for exporting. The Art*Lantis plugin is not visible in the workspace editor. When I load a back up copy of my workspace containing the Art*Lantis plugin the Art*Lantis options are gray(unselectable) in the menu.
Is anyone aware of a workaround, or an upcoming release of the Art*lantis export plugin for VectorWorks12.5? Or, Have I missed something new in VectorWorks12.5?