src/Pure/PIDE/sendback.ML
Thu, 22 Nov 2012 22:21:54 +0100 wenzelm defer interpretation of markup via implicit print mode;
Thu, 22 Nov 2012 14:40:39 +0100 wenzelm some support for implicit senback, meaning that it uses the caret position instead of explicit command exec_id;
Thu, 22 Nov 2012 13:21:02 +0100 wenzelm more abstract Sendback operations, with explicit id/exec_id properties;
less more (0) tip