Mon, 26 Nov 2012 16:16:47 +0100 | wenzelm | more general sendback properties; | file | diff | annotate |
Mon, 26 Nov 2012 11:59:56 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Sun, 25 Nov 2012 19:49:24 +0100 | wenzelm | Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d; | file | diff | annotate |
Thu, 22 Nov 2012 22:21:54 +0100 | wenzelm | defer interpretation of markup via implicit print mode; | file | diff | annotate |
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; | file | diff | annotate |
Thu, 22 Nov 2012 13:21:02 +0100 | wenzelm | more abstract Sendback operations, with explicit id/exec_id properties; | file | diff | annotate |