]> gitweb.factorcode.org Git - factor.git/commit
better plugin tools
authorSlava Pestov <slava@factorcode.org>
Mon, 24 Jan 2005 02:53:55 +0000 (02:53 +0000)
committerSlava Pestov <slava@factorcode.org>
Mon, 24 Jan 2005 02:53:55 +0000 (02:53 +0000)
commit4a6f404cc293be1b05176b7d3b5ff8c56c7d4fb5
treefa24e786fe0ba48e8eb36af967915c9e96ca6e8b
parentaf40535556fbffc528c7ae6b075303c75f47b0a3
better plugin tools
TODO.FACTOR.txt
actions.xml
factor/jedit/CompileBufferProcessor.java
factor/jedit/FactorBufferProcessor.java
factor/jedit/InferBufferProcessor.java