Mon, 10 Dec 2012 13:52:33 +0100 | wenzelm | generalized notion of active area, where sendback is just one application; | file | diff | annotate |
Mon, 26 Nov 2012 16:16:47 +0100 | wenzelm | more general sendback properties; | file | diff | annotate |
Sun, 25 Nov 2012 21:10:29 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Sun, 25 Nov 2012 20:59:32 +0100 | wenzelm | renamed main plugin object to PIDE; | file | diff | annotate |
Sun, 25 Nov 2012 19:55:42 +0100 | wenzelm | tuned file name; | file | diff | annotate | base |