Commits · b8d26eff562ff1ce39ea52ac96be098210064489 · general / stups / Camille · GitLab

Snippets Groups Projects

You need to sign in or sign up before continuing.

Jul 06, 2023
- Remove classical B parser dependency that isn't actually used here · b8d26eff
  dgelessus authored 1 year ago
  
  b8d26eff
- Replace match="greaterOrEqual" with match="compatible" · 6f52226b
  dgelessus authored 1 year ago
  6f52226b
- Sort all the dependencies alphabetically · dfff8473
  dgelessus authored 1 year ago
  
  dfff8473
- Remove Export-Package uses directives from one manifest · 244be825
  dgelessus authored 1 year ago
  244be825
- Fix bad line wrapping in feature.xml · 01d02e98
  dgelessus authored 1 year ago
  
  01d02e98
- Remove camille_with_statemachines.target · 42523729
  dgelessus authored 1 year ago
  42523729
- Remove stray .gitignore · b067b082
  dgelessus authored 1 year ago
  
  b067b082
- Use current Rodin update site instead of our Rodin 3.4 mirror · 29b7c8bc
  dgelessus authored 1 year ago
  
  29b7c8bc
Jul 05, 2023
- Bump version number to 3.5.0 · 571c65e8
  dgelessus authored 1 year ago
  
  571c65e8
- Add release history entry for version 3.4.1 · 62bf4fdb
  dgelessus authored 1 year ago
  
  View commits for tag 3.4.1 3.4.1
  
  62bf4fdb
- Add automatic release deployment to .gitlab-ci.yml · 57830bff
  dgelessus authored 1 year ago
  
  57830bff
- Download parser jars using maven-dependency-plugin instead of Gradle · c4027e45
  dgelessus authored 1 year ago
  
  c4027e45
- Update README.md · ded5432b
  dgelessus authored 1 year ago
  
  ded5432b
- Fix category description · db231874
  dgelessus authored 1 year ago
  
  db231874
- Add .tycho-consumer-pom.xml to .gitignore · d8522768
  dgelessus authored 1 year ago
  d8522768
- Remove duplicate category.xml under org.eventb.texteditor.feature · 4c4e3418
  dgelessus authored 1 year ago
  
  4c4e3418
- Remove explicit plugin version numbers in feature.xml · 52c6623a
  dgelessus authored 1 year ago
  52c6623a
- Always inherit groupId and version from parent pom.xml · 25a7034d
  dgelessus authored 1 year ago
  25a7034d
- Consistently use -SNAPSHOT version suffix in pom.xml files · 3387f4fe
  dgelessus authored 1 year ago
  3387f4fe
- Remove unnecessary changing: true from build.gradle · baaf5236
  dgelessus authored 1 year ago
  
  baaf5236
- Update Gradle wrapper to version 8.2 · c87c20d0
  dgelessus authored 1 year ago
  
  c87c20d0
- Update Gradle wrapper to version 7.6.2 · fcb64e25
  dgelessus authored 1 year ago
  
  fcb64e25
- Fix inconsistent indents and formatting in build scripts · 5aacefb6
  dgelessus authored 1 year ago
  
  5aacefb6
- Remove Tycho optionalDependencies ignore configuration · 630f96be
  dgelessus authored 1 year ago
  630f96be
- Update Tycho to version 2.7.5 · e3e10282
  dgelessus authored 1 year ago
  
  e3e10282
- Remove duplicate feature.xml requires entries · 2ce14b28
  dgelessus authored 1 year ago
  
  2ce14b28
- Bump version number to 3.4.1 · 07d51a4a
  dgelessus authored 1 year ago
  
  07d51a4a
- Remove ./gradlew prepareMaven call that doesn't belong here · 32f4792c
  dgelessus authored 1 year ago
  32f4792c
- Add GitLab CI config · 9b3643e0
  dgelessus authored 1 year ago
  
  9b3643e0
- Use Gradle wrapper for downloading the parsers · 3d0af2e3
  dgelessus authored 1 year ago
  3d0af2e3
Feb 02, 2023
- Remove .travis.yml as it's hardcoded to the old www3 server · f4f31ec5
  dgelessus authored 2 years ago
  f4f31ec5
- Update www3 URLs to stups.hhu-hosting.de · 8a960c72
  dgelessus authored 2 years ago
  
  8a960c72
Dec 07, 2020
- bump version number · 178585aa
  Sebastian Krings authored 4 years ago
  
  View commits for tag 3.4.0 3.4.0
  
  178585aa
- bump to java 1.8 · 0286618c
  Sebastian Krings authored 4 years ago
  
  0286618c
- fix version numbers · 3ffcdca9
  Sebastian Krings authored 4 years ago
  
  3ffcdca9
- emf compare >= 3.4 is required · 0c9ae2fb
  Sebastian Krings authored 4 years ago
  
  0c9ae2fb
- add / update p2 repositories · 34e26d7f
  Sebastian Krings authored 4 years ago
  
  34e26d7f
Dec 06, 2020
- bump tycho version · 743df040
  Sebastian Krings authored 4 years ago
  
  743df040
Nov 19, 2018
- fix deletion of multi-valued references · 30a63292
  Michael Leuschel authored 6 years ago
  30a63292
Nov 09, 2018
- push changes to ui/build/ast · f1bde2cb
  Michael Leuschel authored 6 years ago
  
  f1bde2cb