History log of /hets/utils/debian/auto-package/debian-common/postinst
Revision Date Author Comments Expand
206a53a0c9409cec755494271d771e8b38b2dfbb 14-Nov-2014 cmaeder <cmaeder@users.noreply.github.com>

corrected shebang
1e3d9c289b9629347d8525f1c87bf9ae631c97c1 14-Nov-2014 cmaeder <cmaeder@users.noreply.github.com>

isabelle test
b95472e52d623ff18295b2430d555f82c1a4051a 14-Nov-2014 cmaeder <cmaeder@users.noreply.github.com>

use isabelle-installer