Closed GoogleCodeExporter closed 8 years ago
BarcodeDB in die DB die ursprünglich Isabelle zugewießen war einbinden und anpassen.
Original issue reported on code.google.com by schulz.w...@googlemail.com on 1 Jun 2012 at 12:08
schulz.w...@googlemail.com
Original comment by tobias.s...@gmail.com on 17 Jun 2012 at 6:36
tobias.s...@gmail.com
Original issue reported on code.google.com by
schulz.w...@googlemail.com
on 1 Jun 2012 at 12:08