| Sat, 30 Dec 2017 14:15:44 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 29 Dec 2017 21:17:43 +0100 | wenzelm | no check for bibtex entries from other sessions; | changeset | files |
| Fri, 29 Dec 2017 19:53:43 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 29 Dec 2017 19:35:26 +0100 | wenzelm | more accurate message patterns; | changeset | files |
| Fri, 29 Dec 2017 19:17:52 +0100 | wenzelm | prefer formal citations; | changeset | files |
| Fri, 29 Dec 2017 18:09:38 +0100 | wenzelm | proper bibtex entries; | changeset | files |
| Fri, 29 Dec 2017 17:40:57 +0100 | wenzelm | formal check of @{cite} bibtex entries -- only in batch-mode session builds; | changeset | files |