isar « etc - proof-general - Emacs interface for proof assistants

Mode	Name	Size
-rw-r--r--	AHundredTheorems.thy	3437	log plain
-rw-r--r--	AThousandComments.thy	82943	log plain
-rw-r--r--	AThousandTheorems.thy	32214	log plain
-rw-r--r--	BackslashInStrings.thy	1278	log plain
-rw-r--r--	BigErrors.thy	605	log plain
-rw-r--r--	BigErrorsNested.thy	113	log plain
-rw-r--r--	ChosenLogic.thy	92	log plain
-rw-r--r--	ChosenLogic2.thy	88	log plain
-rw-r--r--	CommentParsingBug.thy	44	log plain
-rw-r--r--	CommentParsingBug2.thy	102	log plain
-rw-r--r--	Depends.thy	325	log plain
-rw-r--r--	EmptyCommands.thy	138	log plain
-rw-r--r--	FaultyErrors.thy	1026	log plain
-rw-r--r--	Fibonacci.thy	5017	log plain
-rw-r--r--	HighlightSize.thy	331	log plain
-rw-r--r--	IllegalEscape.thy	182	log plain
-rw-r--r--	InterruptTest.thy.gz	3914	log plain
-rw-r--r--	MMMtests.thy	1063	log plain
-rw-r--r--	MultipleModes.thy	362	log plain
-rw-r--r--	NamesInStrings.thy	659	log plain
-rw-r--r--	Parsing.thy	2176	log plain
-rw-r--r--	ParsingBug1.thy	300	log plain
-rw-r--r--	Persistent.thy	1013	log plain
-rw-r--r--	README	234	log plain
-rw-r--r--	Sendback.thy	650	log plain
-rw-r--r--	TextProps.thy	732	log plain
-rw-r--r--	TokensAcid.thy	9406	log plain
-rw-r--r--	Trac189.thy	141	log plain
-rw-r--r--	Trac280-subrev.thy	258	log plain
-rw-r--r--	Unicode.thy	1264	log plain
-rw-r--r--	XEmacsSyntacticContextProb.thy	529	log plain
-rw-r--r--	XSymbolTests.thy	3989	log plain
-rw-r--r--	bad1.thy	16	log plain
-rw-r--r--	bad2.thy	20	log plain
d---------	multiple	199	log plain
-rw-r--r--	nesting-too-deep-for-parser.txt	75114	log plain
-rw-r--r--	new-parsing-test.el	1344	log plain
-rw-r--r--	profiling.txt	59088	log plain
-rw-r--r--	trace_simp.thy	424	log plain