Processed: retitle 812755 to ITA: spass -- An automated theorem prover for first-order logic with equality
Processing commands for control@bugs.debian.org:
> retitle 812755 ITA: spass -- An automated theorem prover for first-order logic with equality
Bug #812755 [wnpp] O: spass -- An automated theorem prover for first-order logic with equality
Changed Bug title to 'ITA: spass -- An automated theorem prover for first-order logic with equality' from 'O: spass -- An automated theorem prover for first-order logic with equality'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
812755: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=812755
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: