Zulip Chat Archive

Stream: general

Topic: Offline language and API references?

Alex Zani (May 09 2025 at 20:03):

Is there a way to get the language and API references offline?

Jz Pan (May 10 2025 at 06:31):

I've made an offline API references at https://github.com/acmepjz/TryLean4Bundle1/releases/tag/nightly with the build scripts and offline API reference launcher script at the repository at https://github.com/acmepjz/TryLean4Bundle1

Last updated: Dec 20 2025 at 21:32 UTC