isabelle: src/Tools/jEdit/jedit_base/plugin.props@dd4e532a0d44 (annotated)

73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 71521 diff changeset	1	## Isabelle/jEdit plugin properties
66468 075c2aadd0b8 added missing file (cf. 9098c36abd1a); wenzelm parents: diff changeset	2	##
73991 9f42f2a80ef3 avoid non-standard encoding; wenzelm parents: 73987 diff changeset	3	##:wrap=soft:maxLineLen=100:
66468 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
74012 341941afe827 clarified names; wenzelm parents: 73991 diff changeset	9	plugin.isabelle.jedit_base.Plugin.description=Isabelle/jEdit base plugin: 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
78593 55ca7578d3e9 discontinue old Java 11 LTS; wenzelm parents: 74012 diff changeset	16	plugin.isabelle.jedit_base.Plugin.depend.0=jdk 17
68395 76a0f3bafb16 updated for release; wenzelm parents: 66476 diff changeset	17	plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.05.00.00

author	desharna
	Wed, 06 Mar 2024 09:26:40 +0100
changeset 79797	dd4e532a0d44
parent 78593	55ca7578d3e9
child 81972	fc557fc4ffc4
permissions	-rw-r--r--