bibtex and client - Githubissues

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.

Apache License 2.0

131 stars 23 forks source link

Open PatrickMassot opened 3 months ago

PatrickMassot commented 3 months ago

The client command don’t handle correctly bbl files.

utensil commented 3 months ago

Reported on Zulip as 🧵

PatrickMassot commented 3 months ago

Should be fixed in v0.0.5.