Closed rhmccullough closed 9 years ago
This is still not mergeable. I suggest you make a new branch, apply these changes, push them to make a PR that does merge.
That is what I did. I pulled your master into my master and merged with my branch. That merge had a conflict -- between your casts and my deletion of the code which contains your casts. I resolved the conflict by removing the code with your casts. That resolution is now my master. Your master still has the code that I deleted. Which means (???) => I need one PR which deletes your code, and another does everything else.
Which I can do with one PR if I initialize a new branch with a clone of your current master. OK. Sorry to be so slow. I'm still learning to think in git.
I thought I had accomplished that by PRing from my master. My problem was that I cloned into a temporary local "raptor-test" master, and I PRed from an updated remote "raptor" master.
The details of the "format" and "meaning" properties of the mKR relation have been moved into the mKE program. mKE supplies default values for those properties. The mKE user can supply custom values which override the defaults to provide any desired translation function from bound variables to sentences.