Open david-a-wheeler opened 1 year ago
@expln - your priorities may be different, but I thought you might find it useful to hear what I would really like to see.
The first 4 items agree with my point of view. Looks like the remaining items also agree. I've already started working on undo/redo. I gave this short response to show that I didn't miss this issue :) I will analyze all the open issues and reply with my priorities, but in some time.
@david-a-wheeler
Undo/redo is completed. I agree that the next most important item should be the full unification. I will start working on it. But I am planning to spend few days on implementing other useful things which should not take a lot of time like automatic labeling for hypotheses, disabling parentheses autocompletion etc. I am going to re-read all the available issues and pick what is simple.
Congratulations! I think this undo/redo functionality is a a big deal, it'll mean that users can experiment with confidence.
Good luck on the other items! Your plan makes 100% sense to me.
You're more than welcome to make announcements to the Metamath mailing list yourself, but if you'd like me to make one on your behalf, let me know.
Thanks! If you wish you may make an announcement :)
Thank you for posting the announcement!
@david-a-wheeler
Some of the issues from the "second" priority group are implemented in version 15.
I propose to rename this issue to something like "Discussion of priorities" or something like that since the version 12 is no longer relevant.
I'm really looking forward to the version 11 release. It seems like a good time to start discussing version 12.
While what's in version 12 is up to @expln, I figure I can provide feedback :-).
Here is the current list by @expln of milestone plans for version 12 (v12).
Here are my top priorities - @expln let me know if this information is useful.
And my top desirata (but not as important as the ones above):