Tags

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

Version tagged as the corresponding version for my PhD thesis (https://hal.science/tel-03937846).