Processed: Bug#672480: prooftree: changing to ITP again
Processing commands for control@bugs.debian.org:
> retitle 672480 ITP: prooftree -- proof tree visualization for Proof General
Bug #672480 [wnpp] RFP: prooftree -- proof tree visualization for Proof General
Changed Bug title to 'ITP: prooftree -- proof tree visualization for Proof General' from 'RFP: prooftree -- proof tree visualization for Proof General'
> owner 672480 !
Bug #672480 [wnpp] ITP: prooftree -- proof tree visualization for Proof General
Owner recorded as Hendrik Tews <tews@os.inf.tu-dresden.de>.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
672480: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=672480
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: