[SCM] UNNAMED PROJECT branch, master, created. 95661a93f0c10f1cf957472187ce4e3df49d623f

Lionel Elie Mamane lionel at mamane.lu
Tue Aug 12 20:52:36 UTC 2008 

The branch, master has been created
        at  95661a93f0c10f1cf957472187ce4e3df49d623f (commit)

- Shortlog ------------------------------------------------------------
commit 95661a93f0c10f1cf957472187ce4e3df49d623f
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 22:32:20 2008 +0200

    switch to debhelper compat level 7

commit 447995055572d607ae1f3df1cd4ef8e5bd63ae4d
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 22:30:37 2008 +0200

    Using debhelper compat level 5 -> depend on debhelper 5

commit 9635e099fe52851df31b61b7a3b47ac02eb562c0
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 22:11:30 2008 +0200

    Add debian/watch file

commit 93ba64b2798063094b19ade2dbdc3b8ab10737c8
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 21:49:14 2008 +0200

    add nametemplate to mailcap entry

commit 0c34711c540fc67851736671a63c55c979f05f44
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 21:44:46 2008 +0200

    various debian/rules bugfixes

commit 53ce9d614eafa44a7922dd80277f3d29eab71bc0
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 21:25:17 2008 +0200

    add Makarius to copyright

commit de6d2e7bcb588714b383c5e95bbc3308ea6820b4
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 21:24:15 2008 +0200

    clean autogenerated debhelper source files

commit a8f9dfcc70a0dad387e6d444f3e3e55336b859e9
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 21:23:29 2008 +0200

    manpage list for debhelper

commit ad9633ea56df2b1981659d65a82b74acbe789ca2
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 21:21:13 2008 +0200

    debhelperify debian/rules

commit 0bfa279d791149d6d4ee36b5d116ddfae039d268
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 20:31:34 2008 +0200

    debian/rules tweaks

commit 6ee730ecf1c40568f3b7086f58369e856eebf2b9
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 20:27:16 2008 +0200

    convert isabelle MIME database file to the right format

commit fb3c4e5415670df0775111dd6e9be8aced4f3c2f
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 20:26:02 2008 +0200

    /usr/share/mime-info/isabelle.keys is obsolete

commit 900ae5ad38a41f62d5b18c5bd48dfcde18f3e574
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 17:42:04 2008 +0200

    Remove unused files

commit d25beac1ee3ee127a53323f4dbc4f0f2ca2bf3ea
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 17:40:34 2008 +0200

    Install /usr/share/mime/packages/isabelle.xml the debhelper way

commit 33c9c5728beb93a3fb29a86dc744a622d02232aa
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 17:35:40 2008 +0200

    remove obsolete /usr/share/application-registry

commit 8bfa83ddfec640509830de12d6e5a2eeb3e63eeb
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 16:29:58 2008 +0200

    Remove isabelle-doc package files

commit 6b38f55c08699ce4246871dda57fb56af5d9aebc
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Tue Aug 12 16:25:38 2008 +0200

    ? should not be escaped in ""

commit 5fae76e2eb77c503fcb2b46f90a5ae30be5d4ff9
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Mon Aug 11 22:44:05 2008 +0200

    make 'isabelle -?' actually work

commit b6f60987589b9d934dc195ca710443abdb8a30d6
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Mon Aug 11 22:43:03 2008 +0200

    Refresh manpages

commit 95da503345c9a953d219d07709819bcd1de61edd
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Mon Aug 11 19:24:01 2008 +0200

    Remove unused example file

commit 87a3c885f0bf2abe34b2315e2ec8910d9b6238e0
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Mon Aug 11 19:20:35 2008 +0200

    create the .menu files in debian/ instead of debian/pkg/u/s/menu/
    so that dh_installmenu finds them and does its magic; also delete
    them on clean.

commit 4bcf78530fec8e618b61dd1ad20137d9ef8c6a4c
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Mon Aug 11 19:19:39 2008 +0200

    Migrate package to debian-science auspices

commit e4d830d2cac0972403ab9d6ed6aa42652170fda2
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Mon Aug 11 16:59:44 2008 +0200

    Migrate package to debian-science auspices

commit daaff9769265cfbf447d4343960a5bb5d52aaf0b
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Mon Aug 11 01:54:29 2008 +0200

    Isabelle by itself can run only on raw ML mode

commit 4ac00b42fe3e3f49aeac126fc8c4932b6139d836
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Mon Aug 11 01:03:19 2008 +0200

    Remove unused .menu files (auto-generated now)

commit 02994a094485f1441f183ce64ef57b1f80b0a15b
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Mon Aug 11 00:36:05 2008 +0200

    documentation install tweaks

commit 27bf06674edf165912af00240009a1eea1aa77e6
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Mon Aug 11 00:25:31 2008 +0200

    Add Homepage: field

commit c93e2056782bb5db616cf3a2313194100335d84c
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Mon Aug 11 00:23:23 2008 +0200

    bump up Standards-Version

commit 6a3cac5d734bd29ce6a93baf75029dc424b13d26
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Mon Aug 11 00:08:09 2008 +0200

    now team-maintained

commit a7455069fb3ef42264fbba0603b15c65af1fc9a8
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Sun Aug 10 22:33:57 2008 +0200

    Small english quality correction

commit 5447366f745446070916bbfab165e73bbd111d10
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Sun Aug 10 22:24:30 2008 +0200

      * isabelle now recommends at least one installed theory (default HOL)
        (instead of requiring Pure)
      * isabelle needs to depend on polyml (and not only libpolyml1)
      * factor common code in debian/rules
      * Tweak description of isabelle-thy-hol a bit more

commit 7438d93f2d65463219a684335d850ec41ef5ea32
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Sun Aug 10 16:57:32 2008 +0200

    Remove (non-free) documentation

commit e805a7392f92fc4fcfdcda4dfe15d100091ac1a7
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Sun Aug 10 16:00:06 2008 +0200

    Tweak descriptions

commit c89eaf3ca7373624d05767dc958e3f3a5d6af0f3
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Sun Aug 10 14:28:53 2008 +0200

    Build-Depend on polyml

commit f58bc74e87b9e9b3bc091948d21c12a4345774bd
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Wed Jun 18 18:36:14 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@169 c731564b-aa07-0410-8d76-a93412db7165

commit 8739901464b6f013496c8509e6dcf85042fa6eb4
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Wed Jun 18 13:21:19 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@168 c731564b-aa07-0410-8d76-a93412db7165

commit 88d7936547a1ec6dece24fe37d76b563cc58a962
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Tue Jun 17 19:43:07 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@167 c731564b-aa07-0410-8d76-a93412db7165

commit c11bd933a5a3e6b65608217e32b5d1c7c14e2a94
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Tue Jun 17 19:41:30 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@166 c731564b-aa07-0410-8d76-a93412db7165

commit 47a3c9d1d4c97127bf33b5fbb01919a9948008e5
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Tue Jun 17 06:34:15 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@164 c731564b-aa07-0410-8d76-a93412db7165

commit 99e39d9d6d71a9f6153b885a8b2ea73486c9a2f9
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Tue Jun 17 05:26:28 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@163 c731564b-aa07-0410-8d76-a93412db7165

commit c9e3b5197e53fa9af532151ad71a703231a63979
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 22:19:23 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@162 c731564b-aa07-0410-8d76-a93412db7165

commit e10f888b0476f70e92b98faa78c1c18e2f5218e8
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 21:06:53 2008 +0000

    added lintian overrides
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@161 c731564b-aa07-0410-8d76-a93412db7165

commit 12f4f824597a6039da0b75031fb1e0e312d8dc1a
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 20:49:58 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@160 c731564b-aa07-0410-8d76-a93412db7165

commit 71a3758ae347a46732d8f2645ca02434b5df94e1
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 19:52:42 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@159 c731564b-aa07-0410-8d76-a93412db7165

commit 31958f6d49aee243ef3b224589640b29aa067130
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 19:21:14 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@158 c731564b-aa07-0410-8d76-a93412db7165

commit 1f77a93db1de85f9e44fccda76b33d98e8d30c6c
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 19:17:32 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@157 c731564b-aa07-0410-8d76-a93412db7165

commit aed413a02065699594873ab44ce605b1231bedd2
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 17:58:02 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@156 c731564b-aa07-0410-8d76-a93412db7165

commit 1c91e0bdefa4656d541f32c47703ca6422a4904c
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 17:14:42 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@155 c731564b-aa07-0410-8d76-a93412db7165

commit 31e93a985a0f99f9c97d457a45167b37538fe7e5
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 17:03:17 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@154 c731564b-aa07-0410-8d76-a93412db7165

commit cc6a0597b8362a9707cb79b14311dddf846c56b3
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 15:04:11 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@153 c731564b-aa07-0410-8d76-a93412db7165

commit 406e96f21a51350f408d348f4b2c6701f18220db
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 15:03:59 2008 +0000

    added perl shebang line
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@152 c731564b-aa07-0410-8d76-a93412db7165

commit 9d49687b403b3de2a7a402dedfadc0e58a5ae293
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 14:50:18 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@151 c731564b-aa07-0410-8d76-a93412db7165

commit ff7d6ba19f3dd9a3c1d46a29f14abdf3925bac42
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 13:18:23 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@145 c731564b-aa07-0410-8d76-a93412db7165

commit 52b7e4a70b676813bff64aa51a35b9176f4d8e36
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 13:17:44 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@144 c731564b-aa07-0410-8d76-a93412db7165

commit 57d1da6feddaf48a07eec285b1bad7631181468e
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 06:25:26 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@133 c731564b-aa07-0410-8d76-a93412db7165

commit ce9266586854c5634c2bfb31f7b2ebdef982466a
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 05:21:29 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@132 c731564b-aa07-0410-8d76-a93412db7165

commit f8ce91df91f9ec83c6f0e0b52782479099db67b0
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Jun 16 05:17:48 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@131 c731564b-aa07-0410-8d76-a93412db7165

commit 5c0ecf549c28a8597934aa55c5282ed35a5b26c5
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Sun Jun 15 21:43:44 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@124 c731564b-aa07-0410-8d76-a93412db7165

commit f305e51fe3ffb6053084431352a7645f23b0da2a
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Sun Jun 15 21:00:50 2008 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@121 c731564b-aa07-0410-8d76-a93412db7165

commit dd4cbc14fb5f23a05fa8eb368dcbd587cd706562
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Sun Jun 15 20:59:54 2008 +0000

    updated email adresses and switched to polyml as default ML system
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@120 c731564b-aa07-0410-8d76-a93412db7165

commit b2b0e713dc3c0f0c023a2b2d425bb22b81cd4831
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Sun Jun 15 20:57:08 2008 +0000

    changed default location for user settings and edited default debian locations for externals tools
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@119 c731564b-aa07-0410-8d76-a93412db7165

commit be1411a9f909804f8f8fc01b2d4d5f39a408d8e3
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Sun Jun 15 20:39:58 2008 +0000

    new upstream release: Isabelle 2008
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@118 c731564b-aa07-0410-8d76-a93412db7165

commit 87c8da7cb8e3979322af87872a17c87b637e939d
Author: root <root at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Thu Dec 22 18:51:40 2005 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@51 c731564b-aa07-0410-8d76-a93412db7165

commit 984d4da6ace5b9cbc39cf5c558e403def52ee23a
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Fri Dec 16 17:40:11 2005 +0000

    added support for dvi.gz document format
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@41 c731564b-aa07-0410-8d76-a93412db7165

commit c99097ec543a2f256824c1c29450074fc5ed41e4
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Fri Dec 16 08:39:33 2005 +0000

    improved menu structure and overall cleanup
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@40 c731564b-aa07-0410-8d76-a93412db7165

commit 2ffaa4a1a2f342a07b484cea7aea5ce152469cfb
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Fri Dec 16 07:37:45 2005 +0000

    cleanup of menu entries and added new icon
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@39 c731564b-aa07-0410-8d76-a93412db7165

commit 68ef1ab246745cf81e87428bf64412f39a924233
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Thu Dec 15 06:13:54 2005 +0000

    moved usr directory into debian hierarchy
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@38 c731564b-aa07-0410-8d76-a93412db7165

commit d4e976ed72bfd61ad2c43a487891f56fb00d155c
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Dec 12 20:36:04 2005 +0000

    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@25 c731564b-aa07-0410-8d76-a93412db7165

commit 783fa59f76da3bfbe98a99cc387e333bf78d6486
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Dec 12 20:24:20 2005 +0000

    improved dependency
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@24 c731564b-aa07-0410-8d76-a93412db7165

commit 7c797feb73450d14d2dca200058a2dbe80de5538
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Mon Dec 12 13:31:16 2005 +0000

    cleaned up isabelle-doc and added new menu structure
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@22 c731564b-aa07-0410-8d76-a93412db7165

commit 29c807d26c682040fd912a62599da7b250c511df
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Sun Dec 11 19:20:53 2005 +0000

    Load isabelle-2005 into isabelle/trunk.
    
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@4 c731564b-aa07-0410-8d76-a93412db7165

commit e5bcbfb33bb12a8203eb71583c82a97925eb1c7c
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Sun Dec 11 19:05:17 2005 +0000

    [svn-inject] Forking isabelle source to Trunk
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/trunk@3 c731564b-aa07-0410-8d76-a93412db7165

commit 9b5bf1a925f848e46fa453a066b6d1f92c358200
Author: brucker <brucker at c731564b-aa07-0410-8d76-a93412db7165>
Date:   Sun Dec 11 19:05:08 2005 +0000

    [svn-inject] Installing original source of isabelle
    
    git-svn-id: https://projects.brucker.ch/debian/svn/isabelle/branches/upstream/current@1 c731564b-aa07-0410-8d76-a93412db7165

-----------------------------------------------------------------------

-- 
UNNAMED PROJECT

More information about the debian-science-commits mailing list