]> gitweb.factorcode.org Git - factor.git/commit
minor improvements to the plugin
authorSlava Pestov <slava@factorcode.org>
Wed, 8 Jun 2005 22:11:53 +0000 (22:11 +0000)
committerSlava Pestov <slava@factorcode.org>
Wed, 8 Jun 2005 22:11:53 +0000 (22:11 +0000)
commitd66e281af7020041cd0b0fffeb6d9ee9763a4f2a
tree48743baefa442923d4a5f5a67b571ae126658fce
parent01e7a2a8209dbf34a0f6fc849b0d1bdeee0a7d84
minor improvements to the plugin
CHANGES.txt
actions.xml
factor/jedit/FactorParsedData.java
factor/jedit/FactorPlugin.java
factor/jedit/FactorPlugin.props
library/collections/arrays.factor
library/collections/hashtables.factor
library/generic/slots.factor
library/generic/tuple.factor
library/test/test.factor