]> gitweb.factorcode.org Git - factor.git/commit
Plugin improvements
authorSlava Pestov <slava@factorcode.org>
Mon, 20 Dec 2004 21:06:55 +0000 (21:06 +0000)
committerSlava Pestov <slava@factorcode.org>
Mon, 20 Dec 2004 21:06:55 +0000 (21:06 +0000)
commitdaed335ecacd35185ce3ed703c15ede953630c85
tree275ebb1dec4f54e1375a19afe9d564101c9b0f2e
parent3a242efb5152f7bb114b4e7b7281d4cc51c9e9ee
Plugin improvements
factor/FactorReader.java
factor/jedit/FactorPlugin.java
factor/jedit/FactorSideKickParser.java