Skip to content

Commit

Permalink
Release 0.6.4
Browse files Browse the repository at this point in the history
  • Loading branch information
Stéphane Gimenez committed Oct 27, 2014
1 parent 4cd0f88 commit e6d7834
Show file tree
Hide file tree
Showing 23 changed files with 23 additions and 23 deletions.
2 changes: 1 addition & 1 deletion COPYRIGHT
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

laby : learn programming, playing with ants and spider webs ;-)
Copyright (C) 2007-2010 The laby team
Copyright (C) 2007-2014 The laby team

laby is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
Expand Down
2 changes: 1 addition & 1 deletion INSTALL
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ Linux or Unix-like:
Windows:

The best advice is to use pre-compiled binaries available on the web:
http://www.pps.univ-paris-diderot.fr/~gimenez/laby
http://cl-informatik.uibk.ac.at/users/sgimenez/data/fdls/windows/
Those binaries are cross-compiled using mingw-ocaml.
If you plan to compile them by yourself on windows, you will
probably need patience and a lot of good luck and the following
Expand Down
2 changes: 1 addition & 1 deletion project.conf
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
PROJECT_NAME=laby
PROJECT_VERSION=0.6.3
PROJECT_VERSION=0.6.4
2 changes: 1 addition & 1 deletion src/config.mli
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/game.ml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/game.mli
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/gfx.ml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/gfx.mli
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/laby.ml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/level.ml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/level.mli
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/mod.ml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/mod.mli
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/say.ml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/say.mli
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/sound.ml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/sound.mli
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/state.ml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/state.mli
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/trace.ml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/trace.mli
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/version.ml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down
2 changes: 1 addition & 1 deletion src/version.mli
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@

(*
* Copyright (C) 2007-2010 The laby team
* Copyright (C) 2007-2014 The laby team
* You have permission to copy, modify, and redistribute under the
* terms of the GPL-3.0. For full license terms, see gpl-3.0.txt.
*)
Expand Down

0 comments on commit e6d7834

Please sign in to comment.