Information

The changes are displayed in the unified format. New lines are highlighted in green, while deleted lines are red. All other lines are unchanged and can be used for orientation.


--- /ll/1/  (revision  3, 2009-02-24 08:57:34) (view)
+++ /ll/1/  (revision  4, 2009-02-24 17:33:47) (view)

@@ -76,9 +76,9 @@
 
)
 
 
 
miscellaneous
-
(
+
 
Course catalogue FS09
 
http://www.vvz.ethz.ch/Vorlesungsverzeichnis/sucheLerneinhei ten.do?lang=de&search=on&semkez=2009S&studiengangTyp=BSC&dep tId=5&studiengangAbschnittId=33740&bereichAbschnittId=33841& unterbereichAbschnittId=34390&lerneinheitstitel=&lerneinheit scode=&famname=&rufname=&wahlinfo=&lehrsprache=&katalogdaten =&search=Suchen
 
 
Room info

@@ -91,7 +91,9 @@
 
http://vpp.stefanheule.com/
 
 
Computer science library
 
http://www.library.inf.ethz.ch/index_EN
-
)
+
+
Logic onlinetool
+
http://logik.phl.univie.ac.at/~chris/gateway/formular-zentra l.html
 
 
de
en