     1.1 --- a/doc-src/isac/CTP-userinterfaces.bib	Tue Jan 11 12:34:29 2011 +0100
     1.2 +++ b/doc-src/isac/CTP-userinterfaces.bib	Tue Jan 11 12:34:53 2011 +0100
     1.3 @@ -133,3 +133,5 @@
     1.4    organization = {12th International Conference TPHOLs'99},
     1.5    publisher = {Springer}
     1.6  }
     1.7 +
     1.8 +
branch	decompose-isar
changeset 38101	09b428a6b09d
parent 38097	be4fca364690
parent 38100	905c8bfcf39a
child 38102	e8ec0f7c6bdb