1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/references.bib	Fri Sep 07 13:34:07 2012 +0200
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/references.bib	Fri Sep 07 18:12:50 2012 +0200
     1.3 @@ -54,8 +54,7 @@
     1.4    volume = 	 {44},
     1.5    number = 	 {1/2},
     1.6    pages = 	 {27-41},
     1.7 -  month = 	 {March/June},
     1.8 -  note = 	 {http://www.ist.tugraz.at/projects/isac/publ/plmms-10.pdf}
     1.9 +  month = 	 {March/June}
    1.10  }
    1.11  @inproceedings{casproto,
    1.12    author    = {Cezary Kaliszyk and
    1.13 @@ -99,7 +98,7 @@
    1.14    month = {July}
    1.15  }
    1.16  @InProceedings{ActiveMath-MAIN11,
    1.17 -  author = 	 {Melis, Erica and Siekmann, Jörg},
    1.18 +  author = 	 {Melis, Erica and Siekmann, Jörg},
    1.19    title = 	 {An Intelligent Tutoring System for Mathematics},
    1.20    booktitle = {Seventh International Conference Artificial Intelligence and Soft Computing (ICAISC)},
    1.21    pages = 	 {91-101},
    1.22 @@ -210,6 +209,16 @@
    1.23   publisher = {Springer-Verlag},
    1.24   address = {Berlin, Heidelberg},
    1.25  } 
    1.26 +@InProceedings{makar-jedit-12,
    1.27 +  author = 	 {Makarius Wenzel},
    1.28 +  title = 	 {Isabelle/{jEdit} — a Prover IDE within the {PIDE} framework},
    1.29 +  booktitle = {Conference on Intelligent Computer Mathematics (CICM 2012)},
    1.30 +  year = 	 {2012},
    1.31 +  editor = 	 { J. Jeuring and others},
    1.32 +  number = 	 {7362},
    1.33 +  series = 	 {LNAI},
    1.34 +  publisher = {Springer}
    1.35 +}
    1.36  
    1.37  @InProceedings{Makarius-09:parall-proof,
    1.38    author = 	 {Wenzel, Makarius},