Perl script for commenting proofs

I was wondering if someone who knows Perl could tell me how to write a simple script that comments and uncomments proofs in a document. The reason that I need it is that I'm writing a paper with a lot of proofs, and it would be helpful to temporarily comment them all so I can edit the propositions, lemmas, etc. and give them consistent format. I could do it by hand, but I imagine such a script is pretty simple to write, and would take someone knowledgeable only a minute to write.

Replay

Category: comments Time: 2016-07-30 Views: 0

Related post

iOS development

Android development

Python development

JAVA development

Development language

PHP development

Ruby development

search

Front-end development

Database

development tools

Open Platform

Javascript development

.NET development

cloud computing

server

Copyright (C) avrocks.com, All Rights Reserved.

processed in 0.162 (s). 12 q(s)