Dear all, It seems that the key '^' is dead in the trunk version. It's not possible to enter an <rsup> via keyboard. There is no output log when I type it. (I am under Debian GNU/Linux)
Any idea ? François -- François Poulain <[email protected]> _______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
