diff -r a3cae5ca93eb -r 905c8bfcf39a doc-src/isac/CTP-userinterfaces.bib
--- a/doc-src/isac/CTP-userinterfaces.bib	Tue Jan 11 08:10:03 2011 +0100
+++ b/doc-src/isac/CTP-userinterfaces.bib	Tue Jan 11 12:34:12 2011 +0100
@@ -94,3 +94,5 @@
   organization = {12th International Conference TPHOLs'99},
   publisher = {Springer}
 }
+
+