-
Heiko Becker authored
Add keyxbinding to backtrack proof (C-c C-u) and remove dependency for IEEE by commenting out and add show_type function
a71bb6da
Add keyxbinding to backtrack proof (C-c C-u) and remove dependency for IEEE by commenting out and add show_type function