Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Repository
ec08e5dce17feeba8ed4cda95a1482e283db71b8
Switch branch/tag
spot
doc
tl
tl.bib
Find file
Blame
History
Permalink
* doc/tl/tl.bib (babiak.12.tacas): Update reference.
· ec08e5dc
Alexandre Duret-Lutz
authored
Apr 30, 2012
ec08e5dc
Alexandre Duret-Lutz authoredec08e5dc