fixed some bib entries

doc/gf-bib.bib

@@ -24,7 +24,7 @@
   AUTHOR = {M. Wenzel},
   TITLE = {{Isar - a Generic Interpretative Approach to Readable Formal Proof Documents}},
   BOOKTITLE = {{Theorem Proving in Higher Order Logics, TPHOLs'99}},
-  YEAR = {2004},
+  YEAR = {1999},
   series = lncs,
   volume = {1690},
   EDITOR = {Y. Bertot and G. Dowek and A. Hirschowitz and C. Paulin and L. Th\'{e}ry}
@@ -33,7 +33,6 @@
 @INPROCEEDINGS{pollard-hog,
   AUTHOR = {C. Pollard},
   TITLE = {{Higher-Order Categorial Grammar}},
-                  {I}nterface},
   BOOKTITLE = {{Proceedings of the 
      Conference on Categorial Grammars (CG2004), Montpellier, France}},
   PAGES = {340--361},
@@ -149,21 +148,26 @@
 
 @inproceedings{eldada,
   title =  {{Implementing an Open Source Arabic Resource Grammar in GF}},
-  author = {{A. El Dada and A. Ranta}},
-  booktitle = {{20th Arabic Linguistics Symposium. Western Michigan University March 3-5 2006}}
+  author = {A. El Dada and A. Ranta},
+  booktitle = {{20th Arabic Linguistics Symposium. Western Michigan University March 3-5 2006}},
+  year = {2006}
+
 }
 
 @inproceedings{nganga-africa,
   title = {{Multilingual content development for eLearning in Africa}},
-  author = {{W. Ng'ang'a}},
+  author = {W. Ng'ang'a},
   booktitle = {{1st Pan-African Conference on ICT for Development, Education and Training. 
-     24-26 May 2006, Addis Ababa, Ethiopia}}
+     24-26 May 2006, Addis Ababa, Ethiopia}},
+  year = {2006}
+
 }
 
 @inproceedings{caprotti,
   title = {{WebALT! Deliver Mathematics Everywhere}},
-  author = {{O. Caprotti}},
-  booktitle = {{Proceedings of SITE 2006. Orlando March 20-24, 2006}}
+  author = {O. Caprotti},
+  booktitle = {{Proceedings of SITE 2006. Orlando March 20-24}},
+  year = {2006}
 }
 
 
@@ -1374,7 +1378,7 @@
 }
 
 @Misc{Mizar-homepage,
-  author =	 {},
+  author = {A. Trybulec},
   title =	 {{The Mizar Homepage}},
   howpublished = {\verb!http://mizar.org/!},
   documentURL = "http://mizar.org/",