Isabelle is packaged

[Sylvestre Ledru]

Le mardi 12 août 2008 à 23:29 +0200, Lionel Elie Mamane a écrit :
> Hi,
> 
> I'm basically finished packaging Isabelle. Available from
> ssh://git.debian.org/git/debian-science/packages/isabelle.git
> 
> Any comment before I upload to sid? (Especially from Achim?)
Hello,

I have a syntax error in the changelog. Is it normal ?
(I only have a -- instead of the name & date)

Sylvestre