Skip to content

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

Open
mnatsheh wants to merge 3 commits into
masterfrom
LEAN-6048
Open

LEAN-6048: Return a Document from serializeToJATS; fix bibliography ref parsing under linkedom#361
mnatsheh wants to merge 3 commits into
masterfrom
LEAN-6048

Remove Project interface, replace UserProfile with User

0c0a078
Select commit
Loading
Failed to load commit list.

There are no checks for this commit