Skip to content

Commit

Permalink
Release 0.8
Browse files Browse the repository at this point in the history
  • Loading branch information
gertvv committed Feb 13, 2015
1 parent 3f6f5cf commit 4cde673
Show file tree
Hide file tree
Showing 5 changed files with 6 additions and 6 deletions.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ License
Copyright (C) 2007-2009 Elske van der Vaart and Gert van Valkenhoef
2012 Gert van Valkenhoef, Wouter Reckman, Lourens Elzinga,
and Rik Timmers.
2014 Gert van Valkenhoef
2014-2015 Gert van Valkenhoef

This program is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License version 2 as published
Expand Down
2 changes: 1 addition & 1 deletion application/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<groupId>nl.rug.ai.mas</groupId>
<artifactId>oops-pom</artifactId>
<version>0.8-SNAPSHOT</version>
<version>0.8</version>
</parent>

<groupId>nl.rug.ai.mas</groupId>
Expand Down
4 changes: 2 additions & 2 deletions application/src/main/resources/nl/rug/ai/mas/oops/LICENSE
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ OOPS - Object Oriented Prover for S5n
Copyright (C) 2007-2009 Elske van der Vaart and Gert van Valkenhoef
2012 Gert van Valkenhoef, Wouter Reckman, Lourens Elzinga,
and Rik Timmers.
2014 Gert van Valkenhoef
2014-2015 Gert van Valkenhoef

This program is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License version 2 as published
Expand All @@ -17,4 +17,4 @@ You should have received a copy of the GNU General Public License along
with this program; if not, write to the Free Software Foundation, Inc.,
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.

Source code is available from https://github.com/gertvv/oops/
Source code is available from https://github.com/gertvv/oops/
2 changes: 1 addition & 1 deletion parser/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
<parent>
<groupId>nl.rug.ai.mas</groupId>
<artifactId>oops-pom</artifactId>
<version>0.8-SNAPSHOT</version>
<version>0.8</version>
</parent>

<groupId>nl.rug.ai.mas</groupId>
Expand Down
2 changes: 1 addition & 1 deletion pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

<groupId>nl.rug.ai.mas</groupId>
<artifactId>oops-pom</artifactId>
<version>0.8-SNAPSHOT</version>
<version>0.8</version>
<packaging>pom</packaging>
<name>OOPS project</name>

Expand Down

0 comments on commit 4cde673

Please sign in to comment.