wneuper/isa: doc-isac/jrocnik/bakkarbeit.tcp@f8845fc8f38d

doc-isac/jrocnik/bakkarbeit.tcp

author	Walther Neuper <neuper@ist.tugraz.at>
	Tue, 17 Sep 2013 09:50:52 +0200
changeset 52107	f8845fc8f38d
parent 52056	src/Doc/isac/jrocnik/bakkarbeit.tcp@f5d9bceb4dc0
permissions	-rwxr-xr-x

separated Isac documentation (~~/doc-isac) from Isabelle documentation (~~/src/Doc)

     1 [FormatInfo]

     2 Type=TeXnicCenterProjectInformation

     3 Version=4

     5 [ProjectInfo]

     6 MainFile=jrocnik_bakk.tex

     7 UseBibTeX=1

     8 UseMakeIndex=0

     9 ActiveProfile=LaTeX => PDF (Sumatra)

    10 ProjectLanguage=en

    11 ProjectDialect=US

wneuper/isa