Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
prelude-1.7.0
5db13008
·
Details.
·
Dec 04, 2018
prelude-1.6.1
4ac40914
·
·
Feb 10, 2017
prelude-1.6.0
dfaf16af
·
create prelude 1.6.0
·
Dec 21, 2016
prelude-1.5.1
94ba27bb
·
Restore Prelude 1.5.1 in its original state
·
Oct 18, 2016
prelude-1.5.2
d83cc46f
·
Rename prelude 1.5.1
·
Oct 18, 2016
prelude-1.5
df102ad7
·
Create Prelude 1.5
·
Sep 07, 2016
prelude-1.4
34bebc3b
·
Tag Prelude v1.4
·
May 06, 2015
prelude-1.3
99306e95
·
Wrong directory
·
Dec 20, 2013
prelude-1.3@650
f128fc28
·
Main changes of version 1.3, versus version 1.2:
·
Dec 20, 2013
prelude-1.2
15166af9
·
Release 1.2, first version for SchedMCore
·
Jun 01, 2011
fin-these
582d643f
·
Sauvegarde de l'etat en fin de these
·
Mar 02, 2010