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

Mode	Name	Size
-rw-r--r--	BackslashInStrings.thy	1267	log plain
-rw-r--r--	ChosenLogic.thy	92	log plain
-rw-r--r--	ChosenLogic2.thy	88	log plain
-rw-r--r--	CommentParsingBug.thy	33	log plain
-rw-r--r--	CommentParsingBug2.thy	91	log plain
-rw-r--r--	Depends.thy	330	log plain
-rw-r--r--	FaultyErrors.thy	1038	log plain
-rw-r--r--	Fibonacci.thy	4511	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	653	log plain
-rw-r--r--	TokensAcid.thy	5411	log plain
-rw-r--r--	Trac189.thy	141	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--	trace_simp.thy	424	log plain