PLAI v3.2.5 is now out!
7 views
Skip to first unread message
Shriram Krishnamurthi
Jul 14, 2025, 8:01:54 AMJul 14
to PLAI Notifications
Hi all —
I'm delighted to announce that I released v3.2.5 earlier today.
There are no radical changes, but I fixed a bunch of bugs and suggestions — if you posted an issue on the github tracker (or maybe other media, hopefully I kept track of them), I should at least have responded if not done it.
I think the EPUB version of 3.2.5 is pretty good, too, with the caveats stated on the book page.
See plai.org for new links.
And special thanks to everyone mentioned in the acks!
There are no radical changes, but I fixed a bunch of bugs and suggestions — if you posted an issue on the github tracker (or maybe other media, hopefully I kept track of them), I should at least have responded if not done it.
I think the EPUB version of 3.2.5 is pretty good, too, with the caveats stated on the book page.
See plai.org for new links.
And special thanks to everyone mentioned in the acks!
Shriram
Reply all
Reply to author
Forward
This conversation is locked
You cannot reply and perform actions on locked conversations.
0 new messages