isabelle: src/Tools/jEdit/src-base/Isabelle_Base.props@91162dd89571 (annotated)

66468 075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	1	## Isabelle_Base plugin properties
075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	2	##
075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	3	##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100:
075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	4
075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	5	#identification
075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	6	plugin.isabelle.jedit_base.Plugin.name=Isabelle Base
075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	7	plugin.isabelle.jedit_base.Plugin.author=Makarius Wenzel
075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	8	plugin.isabelle.jedit_base.Plugin.version=1.0
66476 c9628d79109b tuned; wenzelm parents: 66468 diff changeset	9	plugin.isabelle.jedit_base.Plugin.description=Isabelle Base: DO NOT UNLOAD!
66468 075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	10
075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	11	#system parameters
075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	12	plugin.isabelle.jedit_base.Plugin.activate=startup
075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	13	plugin.isabelle.jedit_base.Plugin.usePluginHome=false
075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	14
075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	15	#dependencies
075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	16	plugin.isabelle.jedit_base.Plugin.depend.0=jdk 1.8
68395 76a0f3bafb16 updated for release; wenzelm parents: 66476 diff changeset	17	plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.05.00.00

author	wenzelm
	Sun, 12 Aug 2018 14:28:28 +0200
changeset 68743	91162dd89571
parent 68395	76a0f3bafb16
child 71521	e977609c30eb
permissions	-rw-r--r--