isabelle: src/Tools/jEdit/src/modes/isabelle-news.xml@0c9b1857504b (annotated)

53133 427724cff970 support more brackets; wenzelm parents: 52539 diff changeset	1	<?xml version="1.0" encoding="UTF-8"?>
52539 7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: diff changeset	2	<!DOCTYPE MODE SYSTEM "xmode.dtd">
7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: diff changeset	3
7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: diff changeset	4	<!-- Isabelle NEWS mode -->
7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: diff changeset	5	<MODE>
7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: diff changeset	6	<PROPS>
62682 0c9b1857504b accomodate Isabelle identifiers with subscripts; wenzelm parents: 53931 diff changeset	7	<PROPERTY NAME="noWordSep" VALUE="_'.?⇩"/>
53931 239f8f451976 support more brackets (see also 427724cff970, 7bf637b65ba2); wenzelm parents: 53133 diff changeset	8	<PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
239f8f451976 support more brackets (see also 427724cff970, 7bf637b65ba2); wenzelm parents: 53133 diff changeset	9	<PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
52539 7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: diff changeset	10	<PROPERTY NAME="tabSize" VALUE="2" />
7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: diff changeset	11	<PROPERTY NAME="indentSize" VALUE="2" />
7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: diff changeset	12	</PROPS>
7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: diff changeset	13	</MODE>

author	wenzelm
	Mon, 21 Mar 2016 20:38:39 +0100
changeset 62682	0c9b1857504b
parent 53931	239f8f451976
child 62909	5024d0c48e02
permissions	-rw-r--r--