calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

Top-level expressions no longer drop line breaks. #5

Closed PeterReid closed 12 years ago

PeterReid commented 12 years ago

In topLevelExps, expressions spanning several lines would be condensed down into a string with no line breaks. This is normally find, but not when there is a string spanning several lines. Documentation strings do that:

(defun foozle (x) ":Doc-Section foozle The one-liner ~/~/

The extended documentation that will show up if you do :doc!" x)

Line breaks are part of docstrings' syntax, so this actually made some valid function definitions no longer admit.

calebegg commented 12 years ago

There's also some stuff with the About window. Did you intend to include that in this pull request?

PeterReid commented 12 years ago

I didn't mean to include that.. I don't really know what I'm doing with github. I was going to do that one separately, since they aren't related.

calebegg commented 12 years ago

Ok. That's fine. I don't know what I'm doing either. I've only ever submitted one pull request.

On Sat, Mar 31, 2012 at 16:34, Peter Reid < reply@reply.github.com

wrote:

I didn't mean to include that.. I don't really know what I'm doing with github. I was going to do that one separately, since they aren't related.


Reply to this email directly or view it on GitHub: https://github.com/calebegg/proof-pad/pull/5#issuecomment-4861902

calebegg commented 12 years ago

If you want, you can just make this one the AboutWindow change (if you're done with it).

PeterReid commented 12 years ago

(closing since the smaller pull request was merged)