diff --git a/COPYRIGHT b/COPYRIGHT index db2871b..a6d50bb 100644 --- a/COPYRIGHT +++ b/COPYRIGHT @@ -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 diff --git a/INSTALL b/INSTALL index 1c076ba..6ff7fb0 100644 --- a/INSTALL +++ b/INSTALL @@ -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 diff --git a/project.conf b/project.conf index c008f2d..279b091 100644 --- a/project.conf +++ b/project.conf @@ -1,2 +1,2 @@ PROJECT_NAME=laby -PROJECT_VERSION=0.6.3 +PROJECT_VERSION=0.6.4 diff --git a/src/config.mli b/src/config.mli index 8cf032d..8955902 100644 --- a/src/config.mli +++ b/src/config.mli @@ -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. *) diff --git a/src/game.ml b/src/game.ml index 3c453da..091bdb0 100644 --- a/src/game.ml +++ b/src/game.ml @@ -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. *) diff --git a/src/game.mli b/src/game.mli index 189ec19..1363557 100644 --- a/src/game.mli +++ b/src/game.mli @@ -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. *) diff --git a/src/gfx.ml b/src/gfx.ml index 6f3bc30..64f8d62 100644 --- a/src/gfx.ml +++ b/src/gfx.ml @@ -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. *) diff --git a/src/gfx.mli b/src/gfx.mli index d9b7ce1..134d911 100644 --- a/src/gfx.mli +++ b/src/gfx.mli @@ -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. *) diff --git a/src/laby.ml b/src/laby.ml index 082e3c7..b77f2b2 100644 --- a/src/laby.ml +++ b/src/laby.ml @@ -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. *) diff --git a/src/level.ml b/src/level.ml index 89a52b8..392a1d7 100644 --- a/src/level.ml +++ b/src/level.ml @@ -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. *) diff --git a/src/level.mli b/src/level.mli index 63756b9..7400a5f 100644 --- a/src/level.mli +++ b/src/level.mli @@ -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. *) diff --git a/src/mod.ml b/src/mod.ml index ea54562..47ca540 100644 --- a/src/mod.ml +++ b/src/mod.ml @@ -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. *) diff --git a/src/mod.mli b/src/mod.mli index 95b0840..5b60623 100644 --- a/src/mod.mli +++ b/src/mod.mli @@ -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. *) diff --git a/src/say.ml b/src/say.ml index a10aee7..f4ad795 100644 --- a/src/say.ml +++ b/src/say.ml @@ -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. *) diff --git a/src/say.mli b/src/say.mli index 349a7de..455b37e 100644 --- a/src/say.mli +++ b/src/say.mli @@ -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. *) diff --git a/src/sound.ml b/src/sound.ml index 8a8d957..ab69316 100644 --- a/src/sound.ml +++ b/src/sound.ml @@ -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. *) diff --git a/src/sound.mli b/src/sound.mli index f3433d8..1afad85 100644 --- a/src/sound.mli +++ b/src/sound.mli @@ -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. *) diff --git a/src/state.ml b/src/state.ml index 070379a..b98b94d 100644 --- a/src/state.ml +++ b/src/state.ml @@ -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. *) diff --git a/src/state.mli b/src/state.mli index 4d7cfcf..c5371a5 100644 --- a/src/state.mli +++ b/src/state.mli @@ -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. *) diff --git a/src/trace.ml b/src/trace.ml index e6869d3..b908ca0 100644 --- a/src/trace.ml +++ b/src/trace.ml @@ -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. *) diff --git a/src/trace.mli b/src/trace.mli index 7f8e0b8..76765b9 100644 --- a/src/trace.mli +++ b/src/trace.mli @@ -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. *) diff --git a/src/version.ml b/src/version.ml index 6c31b70..519695d 100644 --- a/src/version.ml +++ b/src/version.ml @@ -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. *) diff --git a/src/version.mli b/src/version.mli index f67c6be..9a3c898 100644 --- a/src/version.mli +++ b/src/version.mli @@ -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. *)