src/Tools/jEdit/build.xml
2009-08-27 immler 2009-08-27 include scala-swing
2009-07-08 immler 2009-07-08 insert mode isabelle into catalog
2009-04-15 immler 2009-04-15 use jEdits styles
2009-03-19 immler 2009-03-19 build jar before running/debugging
2009-02-04 immler 2009-02-04 syntax styles in properties
2009-02-01 immler 2009-02-01 modified netbeans build such that dist can be used as settings-directory for jedit; adapted explicit makedist
2008-12-20 wenzelm 2008-12-20 renamed IsabellePlugin to Isabelle; tuned properties according to http://isabelle.in.tum.de/repos/isabelle/file/b1c6f4563df7/lib/jedit/plugin/Isabelle.props;
2008-11-02 immler 2008-11-02 fine scrolling principally possible
2008-11-02 immler 2008-11-02 calculate preferred sizes only when needed
2008-10-31 immler 2008-10-31 reverted and ignoring build.xml
2008-10-31 immler 2008-10-31 faster resizing, unlimited caching(but cache is cleared on resize)
2008-10-28 immler 2008-10-28 reverted build.xml
2008-10-28 immler 2008-10-28 absolute positioning according to preferred size of panels, scrolling one message per unit rendered messages are cached
2008-10-20 wenzelm 2008-10-20 added target -pre-jar which copies jEdit plugin to be included in jar;
2008-10-19 wenzelm 2008-10-19 basic Netbeans project setup;