Activity · Jonas Kastberg / stdpp · GitLab

Snippets Groups Projects

You need to sign in or sign up before continuing.

2 years ago

Robbert Krebbers @robbertkrebbers

pushed to branch set_lemmas at Jonas Kastberg / stdpp

bdf49b49 · Write CHANGELOG in present tense.

2 years ago

Jonas Kastberg @jihgfee

pushed to branch set_lemmas at Jonas Kastberg / stdpp

b93a066f · Added set lemmas about difference and union

2 years ago

Jonas Kastberg @jihgfee

pushed to branch set_lemmas at Jonas Kastberg / stdpp

0884d5ca · Fixed sed script entry
... and 104 more commits. Compare d06725e5...0884d5ca

2 years ago

Jonas Kastberg @jihgfee

pushed to branch master at Jonas Kastberg / stdpp

c71531e0 · Merge branch 'map_fold_delete' into 'master'
... and 96 more commits. Compare e847956f...c71531e0

2 years ago

Jonas Kastberg @jihgfee

pushed to branch set_lemmas at Jonas Kastberg / stdpp

d06725e5 · Fixed sed script entry

2 years ago

Jonas Kastberg @jihgfee

pushed to branch set_lemmas at Jonas Kastberg / stdpp

18c0382d · Apply 1 suggestion(s) to 1 file(s)

2 years ago

Jonas Kastberg @jihgfee

pushed to branch set_lemmas at Jonas Kastberg / stdpp

e1d8e672 · Updated CHANGELOG and added change to sed script
... and 1 more commit. Compare ded5e23c...e1d8e672

2 years ago

Jonas Kastberg @jihgfee

pushed to branch set_lemmas at Jonas Kastberg / stdpp

ded5e23c · Renamed lemmas as per suggestion

2 years ago

Jonas Kastberg @jihgfee

pushed to branch set_lemmas at Jonas Kastberg / stdpp

2fcd3395 · Simplified lemma and names

2 years ago

Jonas Kastberg @jihgfee

pushed to branch sublist_lemmas at Jonas Kastberg / stdpp

4575401f · Resolved duplicate lemma

2 years ago

Jonas Kastberg @jihgfee

pushed to branch sublist_lemmas at Jonas Kastberg / stdpp

300c1b84 · Resolved some review feedback
... and 114 more commits. Compare e8b54df1...300c1b84

2 years ago

Jonas Kastberg @jihgfee

pushed to branch sublist_lemmas at Jonas Kastberg / stdpp

e8b54df1 · Resolved some review feedback

2 years ago

Jonas Kastberg @jihgfee

pushed to branch set_lemmas at Jonas Kastberg / stdpp

413cdb23 · Use unicode arrow

2 years ago

Jonas Kastberg @jihgfee

pushed to branch set_lemmas at Jonas Kastberg / stdpp

d4e3d4da · Added parentheses for clarity, and explicitly named used variable

2 years ago

Jonas Kastberg @jihgfee

pushed new branch set_lemmas at Jonas Kastberg / stdpp

2 years ago

Jonas Kastberg @jihgfee

pushed to branch master at Jonas Kastberg / stdpp

e847956f · remove a useless auto
... and 85 more commits. Compare f71300ea...e847956f