formal check of cite bibtex entries -- only in batch-mode session builds;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE888aa91f0556: clarified check, notably for bibtex theory (amending 5f082b1fa9fa);
- Branches
- Unknown
- Tags