GitBucket
Toggle navigation
Snippets
Sign in
Files
Branches
9
Releases
Issues
Pull requests
Labels
Priorities
Milestones
Wiki
Fork
: 0
pesceWanda
/
inria-internship
Download ZIP
290 commits
Transfer to URL with SHA
branch:
master
Switch branches
×
acc_bug
accessor_definition
env_in_source
equivalence_src_trg
fixes.1
master
rename
tests
when-guards
inria-internship
/
talk
/
latest commit
b1e46452c6
Gabriel Scherer
authored
on 22 Aug
..
examples
tex presentation
8 months ago
pictures
(include the pictures)
8 months ago
Makefile
started presentation
8 months ago
mybeamer.sty
slides: include source and target programs in the same slide, highlight blackboxes
8 months ago
outline.org
notes on the proposed outline
9 months ago
presentazione.tex
16:9 aspect ratio
8 months ago