[SCM] generic theorem proving environment branch, master, updated. 3b4d75e5fc793b3279bb0414792a555e32f7afa8

[Andreas Tille]

The following commit has been merged in the master branch:
commit e059b628a2166134885586034c75640442d9776a
Author: Andreas Tille <tille at blends.debian.net>
Date:   Thu Jun 14 08:51:09 2012 +0200

    Finally use proper date format

diff --git a/debian/changelog b/debian/changelog
index 84fd21d..c437f4a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -17,7 +17,7 @@ isabelle (2008-4) UNRELEASED; urgency=low
   * isabelle package now architecture: all
   * install heaps into /usr/lib
 
- -- Lionel Elie Mamane <lionel at mamane.lu>  Wed Aug 13 01:52:47 2008 +0200
+ -- Lionel Elie Mamane <lionel at mamane.lu>  Wed, 13 Aug 2008 01:52:47 +0200
 
 isabelle (2008-3) unstable; urgency=low
 

-- 
generic theorem proving environment