Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
  • 3.8.0
  • 3.7.0
  • 3.6.0
  • 3.5.0
  • 3.4.0
  • 3.3.0
  • 3.2.1
  • 3.2.0
9 results
Created with Raphaël 2.2.06Oct4229Jun24Feb6AugRelease version 3.8.03.8.0 master3.8.0 masterUpdate to Rodin 3.8 sourcesRelease version 3.7.03.7.03.7.0Update to Rodin 3.7 sourcesRelease version 3.6.03.6.03.6.0Update to Rodin 3.6 sourcesRelease version 3.5.03.5.03.5.0Update to Rodin 3.5 sourcesRelease version 3.4.03.4.03.4.0Update to Rodin 3.4 sourcesRelease version 3.3.03.3.03.3.0Add instructions and script for updating the Rodin sourcesUpdate to Rodin 3.3 sourcesRelease version 3.2.13.2.13.2.1Change ASTPlugin to match the original a little more closelyRemove and ignore Eclipse project filesUse committed patched ASTPlugin instead of making build.gradle patch itRestore all sources to their exact original state from Rodin 3.2Revert custom patch workaround for a Java 8 import handling bugUpdate to Gradle 8.3Update to Gradle 7.6.2Switch to java-library and maven-publish pluginsSwitch to new Gradle plugins syntaxUpdate to Gradle 6.9.4Update to Gradle 5.6.4Reformat build.gradle and generated code consistently with tabsSet home property for tom-task correctlyShut up Javadoc errorsUpdate encrypted filesMigrate from Travis CI to GitLab CIUse settings.gradle to set project nameIgnore and delete Gradle build directoriesAdd a sufficiently old Gradle wrapperPost travis build info to slackBump version3.2.0 Release3.2.03.2.0build status + some info for future Jensbuild filespatched sourcebuild script