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

Mode	Name	Size
-rw-r--r--	AHundredProofs.thy	14533	log plain
-rw-r--r--	AHundredTheorems.thy	3451	log plain
-rw-r--r--	AThousandComments.thy	82943	log plain
-rw-r--r--	AThousandTheorems.thy	32213	log plain
-rw-r--r--	BackslashInStrings.thy	1278	log plain
-rw-r--r--	BigErrors.thy	586	log plain
-rw-r--r--	BigErrorsNested.thy	113	log plain
-rw-r--r--	ChosenLogic.thy	92	log plain
-rw-r--r--	ChosenLogic2.thy	89	log plain
-rw-r--r--	CommentParsingBug.thy	54	log plain
-rw-r--r--	CommentParsingBug2.thy	116	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	5075	log plain
-rw-r--r--	HighlightSize.thy	332	log plain
-rw-r--r--	IllegalEscape.thy	192	log plain
-rw-r--r--	InterruptTest.thy.gz	3914	log plain
-rw-r--r--	MultipleModes.thy	379	log plain
-rw-r--r--	NamesInStrings.thy	670	log plain
-rw-r--r--	Parsing.thy	2214	log plain
-rw-r--r--	ParsingBug1.thy	311	log plain
-rw-r--r--	Persistent.thy	1024	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	10111	log plain
-rw-r--r--	Trac189.thy	141	log plain
-rw-r--r--	Trac280-subrev.thy	269	log plain
-rw-r--r--	Unicode.thy	1261	log plain
-rw-r--r--	XEmacsSyntacticContextProb.thy	540	log plain
-rw-r--r--	XSymbolTests.thy	3989	log plain
-rw-r--r--	bad1.thy	16	log plain
-rw-r--r--	bad2.thy	34	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	31077	log plain
-rw-r--r--	trace_simp.thy	426	log plain