GitHub - Xaphiosis/jedit: Mangled version of jEdit for use with Isabelle

Xaphiosis / jedit Public

Mangled version of jEdit for use with Isabelle

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
.idea		.idea
de/masters_of_disaster/ant/tasks		de/masters_of_disaster/ant/tasks
doc		doc
doclet		doclet
icons		icons
installer		installer
keymaps		keymaps
macros		macros
misc		misc
modes		modes
net/sourceforge/jarbundler		net/sourceforge/jarbundler
org		org
package-files		package-files
properties		properties
startup		startup
test/org/jedit/io		test/org/jedit/io
.gitaccess		.gitaccess
.gitignore		.gitignore
README.SRC.txt		README.SRC.txt
build.properties.sample		build.properties.sample
build.xml		build.xml
ivy.xml		ivy.xml
ivysettings.xml		ivysettings.xml
jEdit.iml		jEdit.iml