isabelle: src/Tools/jEdit/jedit_base/plugin.props@4b875a4c83b0 (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
81973 82cf33956a17 discontinue old Java 17 LTS; wenzelm parents: 81972 diff changeset	16	plugin.isabelle.jedit_base.Plugin.depend.0=jdk 21
81972 fc557fc4ffc4 update versions for release -- one behind current jedit-5.7.0; wenzelm parents: 78593 diff changeset	17	plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.06.00.00

author	wenzelm
	Wed, 12 Mar 2025 11:39:00 +0100
changeset 82265	4b875a4c83b0
parent 81973	82cf33956a17
permissions	-rw-r--r--