If you post the names of predicate functions that need to be changed
to the new notation, I will make the changes using Netbeans (which has
very good refactoring and search-and-replace tools).
Ted
Ted
> I am puzzled. I did a complete checkout of MathPiper2 from the repository,
> to be sure I have the latest stuff.
>
> I know that a lot of work has recently gone into changing the names of all
> predicates so that they use a "?" at end, and that all the code files have
> been adjusted accordingly. <snip>
All of the changes I have been making recently have been in the
following branch:
branches/mathpiper2ide
If you check this branch out, you will receive a complete copy of the
whole IDE which will also include mathpiper2.
Ted
> The command I have been using to do the checkout is given below:
>
> svn checkout https://mathpiper.googlecode.com/svn/branches/mathpiperide2
>
> Apparently, somehow I got this copied with the "2" in the wrong place?
> What the heck have I been working with, then?
That's a good question. My thought is to delete all your old copies of
MathPiper and MathPiperIDE and check out this branch again.
Ted
> Yes, but do I want /mathpiperide2, or /mathpiper2ide ?
/mathpiperide2 with the 2 on the end.
Ted