Branches · Verified Software / psvg.doc.ic.ac.uk · GitLab

Active branches

master default

f3f745d5 · Update nantes-sobrinho.md · May 16, 2023

Download source code

zip tar.gz tar.bz2 tar

Stale branches

dataspy-hacking

a8b30548 · switch back to bootstrap 3 in attempt to get dataspy working · Feb 08, 2016

Compare

Download source code

zip tar.gz tar.bz2 tar
fix-bibtex-unicode-filter

0b6780b0 · Begin attempt to fix bibtex filtering on names containing unicode · Mar 03, 2016

Compare

Download source code

zip tar.gz tar.bz2 tar