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

Active branches

master default

7343a5ef · Update nantes.md to Update nantes-sobrinho · Dec 18, 2022

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