Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

Latest revisions

# Date Author Comment
1d8d7a2f 12/05/2020 11:13 AM Andreas Müller

remmove potential NPE in TermNode.toString

5fc450f7 12/05/2020 10:55 AM Andreas Müller

cleanup

af199beb 12/03/2020 07:33 PM jenkins

Updating develop poms back to pre merge state

638beb74 12/03/2020 07:33 PM jenkins

Merge branch 'master' into develop

8c4580af 12/03/2020 07:33 PM jenkins

updating develop poms to master versions to avoid merge conflicts

27b8c645 12/03/2020 07:33 PM jenkins

Merge branch 'release/5.18.0'

5bdde967 12/03/2020 07:11 PM jenkins

updating poms for branch'release/5.18.0' with non-snapshot versions

3a956fb6 12/03/2020 06:20 PM jenkins

updating poms for 5.19.0-SNAPSHOT development

2f1c9deb 12/03/2020 06:20 PM jenkins

updating poms for 5.18.0 branch with snapshot versions

76ee473f 12/03/2020 05:45 PM Andreas Müller

ref #8547 add inreference type for Proceedings

View all revisions | View revisions

Also available in: Atom