Screenshots
Native graphical user interface
Cadabra comes with its own graphical notebook frontend, which is based on the gtk toolkit (or rather its C++ wrapper gtkmm) and uses LaTeX to typeset expressions. Here are some screenshots:
TeXmacs interface
There is also a TeXmacs frontend, displayed in the screenshots below. The associated TeXmacs files can be found in the "texmacs" subdirectory of the source tarball.
