isabelle: src/Tools/jEdit/src/proofdocument/Text.scala@aaafe9c4180b (annotated)

34407 aad6834ba380 added some headers and comments; wenzelm parents: 34318 diff changeset	1	/*
aad6834ba380 added some headers and comments; wenzelm parents: 34318 diff changeset	2	* Text as event source
aad6834ba380 added some headers and comments; wenzelm parents: 34318 diff changeset	3	*
aad6834ba380 added some headers and comments; wenzelm parents: 34318 diff changeset	4	* @author Johannes Hölzl, TU Munich
aad6834ba380 added some headers and comments; wenzelm parents: 34318 diff changeset	5	*/
aad6834ba380 added some headers and comments; wenzelm parents: 34318 diff changeset	6
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	7	package isabelle.proofdocument
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	8
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	9
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	10	object Text {
34526 b504abb6eff6 tokens and commands as lists immler@in.tum.de parents: 34493 diff changeset	11	case class Change(start: Int, val added: String, val removed: Int) {
b504abb6eff6 tokens and commands as lists immler@in.tum.de parents: 34493 diff changeset	12	override def toString = "start: " + start + " added: " + added + " removed: " + removed
b504abb6eff6 tokens and commands as lists immler@in.tum.de parents: 34493 diff changeset	13	}
34532 aaafe9c4180b ProofDocument without state immler@in.tum.de parents: 34526 diff changeset	14	}

author	immler@in.tum.de
	Sun, 08 Mar 2009 23:03:49 +0100
changeset 34532	aaafe9c4180b
parent 34526	b504abb6eff6
child 34541	e3ca0658fb6a
permissions	-rw-r--r--