The only recent change seems to be in r5189.
Please check whether that was the problem. --Joris

On Fri, Mar 30, 2012 at 11:47:56AM +0200, François Poulain wrote:
> 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

_______________________________________________
Texmacs-dev mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/texmacs-dev

Reply via email to