Processing commands for cont...@bugs.debian.org:
> #
> unarchive 494491
Bug #494491 {Done: Lionel Elie Mamane <lio...@mamane.lu>} [wnpp] ITP: isabelle
-- Generic theorem proving environment
Unarchived Bug 494491
> reopen 494491
Bug #494491 {Done: Lionel Elie Mamane <lio...@mamane.lu>} [wnpp] ITP: isabelle
-- Generic theorem proving environment
> retitle 494491 RFP: isabelle -- Generic theorem proving environment
Bug #494491 [wnpp] ITP: isabelle -- Generic theorem proving environment
Changed Bug title to 'RFP: isabelle -- Generic theorem proving environment'
from 'ITP: isabelle -- Generic theorem proving environment'
> owner 494491 !
Bug #494491 [wnpp] RFP: isabelle -- Generic theorem proving environment
Owner changed from Lionel Elie Mamane <lio...@mamane.lu>,
bruc...@member.fsf.org to Joachim Breitner <nome...@debian.org>.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
http://lists.debian.org/handler.s.c.127110635528932.transcr...@bugs.debian.org
