issues
search
greleigh
/
Logic-GU
Homepage for the Logic group at the University of Gothenburg
2
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
update ACTA template link
#85
RasmusBlanck
closed
10 months ago
1
Add the header image
#84
dowehr
closed
1 year ago
0
Title and abstract Anupam
#83
dowehr
closed
1 year ago
0
Talk title Giacomo
#82
dowehr
closed
1 year ago
0
More abstracts
#81
dowehr
closed
1 year ago
0
Add title for Johannes' talk
#80
dowehr
closed
1 year ago
0
Workshop website
#79
dowehr
closed
1 year ago
0
Licentiate thesis + workshop
#78
dowehr
closed
1 year ago
0
Create 2022-12-20-barlucchi-licentiate.md
#77
greleigh
closed
2 years ago
0
Add seminar locations
#76
greleigh
closed
2 years ago
0
Added title and abstract to Dag's seminar.
#75
feffemannen
closed
2 years ago
0
New poster image and removed last paragraph of poster page.
#74
feffemannen
closed
2 years ago
0
Redirects
#73
greleigh
closed
1 year ago
0
Initial dates for spring logic seminars
#72
greleigh
closed
2 years ago
1
Initial changes for 2023 Lindström Lectures
#71
greleigh
closed
2 years ago
0
Lindström 23
#70
greleigh
closed
2 years ago
0
implement print-media css
#69
greleigh
opened
2 years ago
0
Changes to poster and added poster as an image.
#68
feffemannen
closed
2 years ago
2
Added /poster page for MiL poster. Also added a layout for using Math…
#67
feffemannen
closed
2 years ago
6
Semantic html for seminar entries
#66
greleigh
closed
2 years ago
0
Added Dag for the December seminar
#65
feffemannen
closed
2 years ago
0
Talk titles on new line. Lists indented
#64
greleigh
closed
2 years ago
0
Visitors
#63
greleigh
closed
2 years ago
0
LL22
#62
greleigh
closed
2 years ago
0
web accessibility
#61
greleigh
closed
2 years ago
0
Update 2022-05-06-rasmus-blanck.md
#60
feffemannen
closed
2 years ago
1
Added Rasmus Blanck, 2022-05-06
#59
feffemannen
closed
2 years ago
0
Add resources page
#58
greleigh
closed
2 years ago
0
L22 Update
#57
greleigh
closed
2 years ago
0
L22.1
#56
greleigh
closed
2 years ago
0
LL22 seminars
#55
greleigh
closed
2 years ago
0
Preliminary LL22 material
#54
greleigh
closed
2 years ago
1
add separator between seminar listings
#53
greleigh
closed
2 years ago
0
Update seminars.md
#52
greleigh
closed
2 years ago
0
Publication page
#51
feffemannen
closed
1 year ago
4
Logic library
#50
greleigh
opened
2 years ago
0
List of group publications
#49
greleigh
closed
1 year ago
1
Added title and abstract to Fredrik's talk.
#48
feffemannen
closed
3 years ago
0
Add a description to my entry
#47
dowehr
closed
3 years ago
0
Favicon etc
#46
greleigh
opened
3 years ago
1
Update activities.md
#45
greleigh
closed
3 years ago
0
New members
#44
greleigh
closed
3 years ago
0
Bump addressable from 2.7.0 to 2.8.0
#43
dependabot[bot]
closed
3 years ago
0
Updated with a permanent link for NaT.
#42
feffemannen
closed
3 years ago
0
Added info on Lisinki's seminar.
#41
feffemannen
closed
3 years ago
0
Rebuild site daily
#40
greleigh
closed
3 years ago
0
Add next NOL seminar
#39
greleigh
closed
3 years ago
0
Update people.yml
#38
RasmusBlanck
closed
3 years ago
1
Added locally hosted SLS2018 page.
#37
feffemannen
closed
3 years ago
1
Recode seminar-entry
#36
greleigh
closed
3 years ago
0
Next