Une mise à jour de GitLab est planifiée aujourd'hui le 29/01/2026, entre 17h et 18h

Tags

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

sataf-1-1

dcb978cd · add archname to the bin-distrib directory · Mar 17, 2006
prestaf-1-2

913b072d · . add a string in altarica_tree node describing the node_type · Mar 17, 2006
prestaf-060208

7545a2c7 · . (very) small tests. · Feb 08, 2006
sataf-060208

5e007820 · add debugging flag · Feb 01, 2006
prestaf-1-1

5b821112 · fix bug in function prestaf_predicate_display_vectors · Oct 04, 2005
sataf-1-0

7004ea7a · add doc archive target · Sep 27, 2005
prestaf-1-0

bfc4cb33 · add doc archive target · Sep 27, 2005