diff -r 8083b2b301e1 -r 70142c708a91 bsc-projects-14.html --- a/bsc-projects-14.html Sun Sep 21 13:57:10 2014 +0100 +++ b/bsc-projects-14.html Wed Oct 01 12:02:22 2014 +0100 @@ -241,7 +241,7 @@
- PS: Compiler projects, like this one or [CU6], consistently received high marks in the past. + PS: Compiler projects, like this one or [CU8], consistently received high marks in the past. I suprvised four so far and none of them received a mark below 70% - one even was awarded a prize.
@@ -469,7 +469,11 @@ -Description: @@ -512,7 +516,7 @@ -
Description: @@ -540,7 +544,7 @@
-Description: @@ -572,7 +576,7 @@ are some examples that explain how to implement exchanging messages between actors.
-I am one of the main developers of the interactive theorem prover @@ -618,7 +622,7 @@
- Last modified: Sun Sep 21 13:57:08 BST 2014 + Last modified: Wed Oct 1 12:02:06 BST 2014 [Validate this page.]