wneuper/isa: src/Doc/isac/jrocnik/bakkarbeit.tcp@7f3760f39bdc

src/Doc/isac/jrocnik/bakkarbeit.tcp

author	Walther Neuper <neuper@ist.tugraz.at>
	Mon, 16 Sep 2013 12:27:20 +0200
changeset 52106	7f3760f39bdc
parent 52056	f5d9bceb4dc0
permissions	-rwxr-xr-x

review of examples for non-termination of rls norm_Rational

     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