Documentation update?

16 views

Skip to first unread message

Todd Wilson

unread,

Jan 17, 2024, 2:18:16 PM1/17/24

to Abella

I wonder whether now would be a good time to produce an up-to-date version of the Abella Reference Guide to reflect the myriad changes to the system since that document was last updated and make it more complete, as well as give it a more prominent place on the website. I was thinking of volunteering to put together a draft document myself, but as I tried to go through the changelog and understand and verify all of the new features and their scope and limitations, it quickly became too overwhelming to continue. Someone with an insider knowledge of the system should really do this. I contributed some initial suggestions for this on Ticket #80 back in March, 2017, and would be happy to look at drafts and provide feedback and suggestions to anyone who wants to work on this.

Todd Wilson

Dale Miller

unread,

Jan 22, 2024, 6:29:17 AM1/22/24

to Abella

Dear Todd,

Thanks for bringing up the issue about Abella's Reference Guide and your list of suggestions back in Ticket #80. I'll update what I can incrementally. Many topics (especially the underlying logic) must be pushed off to the published papers. But still, many of your suggestions can be addressed in the reference document.

I added some text discussing stratification. Comments and corrections are welcomed.