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/47/ (revision 2, 2012-02-20 19:04:41) (view)
+++ /ll/47/ (revision 3, 2012-02-20 19:07:06) (view)
@@ -4,9 +4,9 @@
Data Modelling and Databases | |
( | |
Main Page | |
http://www.systems.ethz.ch/education/spring-2012/data-mod-db | |
- | (Prof. Dr. Gustavo Alonso, Prof. Dr. Timothy Roscoe) |
+ | Prof. Dr. Gustavo Alonso, Prof. Dr. Timothy Roscoe |
) | |
Formal Methods and Functional Programming | |
( |