LEAN-6048: Return a Document from serializeToJATS; fix bibliography ref parsing under linkedom - #361

Open

mnatsheh wants to merge 3 commits into

Commits on Sep 18, 2026

Return a Document from serializeToJATS; use <wrapper> for bibliography ref parsing

mnatsheh
and
claude
committed
2ef424e

Commits on Sep 21, 2026

Remove ManuscriptActions enum

mnatsheh
and
claude
committed
6e3232e
Remove Project interface, replace UserProfile with User

mnatsheh
and
claude
committed
0c0a078