1.1 --- a/doc-src/isac/CTP-userinterfaces.bib	Tue Jan 11 08:10:03 2011 +0100
     1.2 +++ b/doc-src/isac/CTP-userinterfaces.bib	Tue Jan 11 12:34:12 2011 +0100
     1.3 @@ -94,3 +94,5 @@
     1.4    organization = {12th International Conference TPHOLs'99},
     1.5    publisher = {Springer}
     1.6  }
     1.7 +
     1.8 +