Gitlab has been updated. More info here.

Tags

Tags give the ability to mark specific points in history as being important

942b1c2b · minor changes · Dec 15, 2017

this version is submitted to PAC in December 15, 2017

release-2017-december-2

8e24060a · move back style files · Dec 02, 2017
November-24

0d467906 · update date · Nov 24, 2017
2017revisions_start

885477f8 · remove unecessary files in Detector chapter. Correct format in Detector chapter · Oct 06, 2017
```
Starting version for revisions in 2017 (based on the Oct 2016 version with new sections)
```