Implemented functionality to export the written specification from the client side (without server).
Implemented functionality to export the written specification from the client side (without server).

MattiNieminen/clj-formal-specifications-app,MattiNieminen/clj-formal-specifications-app