1.1 --- a/doc-src/isac/CTP-userinterfaces.bib	Mon Jan 10 12:36:39 2011 +0100
     1.2 +++ b/doc-src/isac/CTP-userinterfaces.bib	Tue Jan 11 08:03:23 2011 +0100
     1.3 @@ -1,3 +1,26 @@
     1.4 +@InProceedings{makarius:isa-scala-jedit,
     1.5 +  author = 	 {Makarius Wenzel},
     1.6 +  title = 	 {Asyncronous Proof Processing with {Isabelle/Scala} and {Isabelle/jEdit}},
     1.7 +  booktitle = {User Interfaces for Theorem Provers (UITP 2010)},
     1.8 +  year = 	 {2010},
     1.9 +  editor = 	 {C. Sacerdoti Coen and D. Aspinall},
    1.10 +  address = 	 {Edinburgh, Scotland},
    1.11 +  month = 	 {July},
    1.12 +  organization = {FLOC 2010 Satellite Workshop},
    1.13 +  note = 	 {http://www4.in.tum.de/~wenzelm/papers/async-isabelle-scala.pdf}
    1.14 +}
    1.15 +
    1.16 +@Book{db:dom-eng,
    1.17 +  author = 	 {Bj{\o}rner, Dines},
    1.18 +  title = 	 {Domain Engineering. Technology Management, Research and Engineering},
    1.19 +  publisher = 	 {JAIST Press},
    1.20 +  year = 	 {2009},
    1.21 +  month = 	 {Feb},
    1.22 +  series = 	 {COE Research Monograph Series},
    1.23 +  volume = 	 {4},
    1.24 +  address = 	 {Nomi, Japan}
    1.25 +}
    1.26 +
    1.27  @inproceedings{Haftmann-Nipkow:2010:code,
    1.28    author =      {Florian Haftmann and Tobias Nipkow},
    1.29    title =       {Code Generation via Higher-Order Rewrite Systems},
    1.30 @@ -9,17 +32,6 @@
    1.31    volume =      {6009}
    1.32  }
    1.33  
    1.34 -@InProceedings{wenzel:isar,
    1.35 -  author = 	 {Wenzel, Markus},
    1.36 -  title = 	 {Isar - a Generic Interpretative Approach to Readable Formal Proof Documents},
    1.37 -  booktitle = 	 {Theorem Proving in Higher Order Logics},
    1.38 -  year = 	 {1999},
    1.39 -  editor = 	 {G. Dowek, A. Hirschowitz, C. Paulin, L. Thery},
    1.40 -  series = 	 {LNCS 1690},
    1.41 -  organization = {12th International Conference TPHOLs'99},
    1.42 -  publisher = {Springer}
    1.43 -}
    1.44 -
    1.45  @Manual{coq1999,
    1.46    title = 	 {The Coq Proof Assistant},
    1.47    author = 	 {Barras, B. and others},