Berlin version

What's Changed

• Prepare for Berlin Workshop by @Maximilian-Stefan-Ernst in #142
• Merge main into patch by @Maximilian-Stefan-Ernst in #143
• add Hannes by @aaronpeikert in #141

Full Changelog: v0.0.6...v0.0.7

Munich version

What's Changed

• Feedback london by @Maximilian-Stefan-Ernst in #78
• Update dispatch.md by @MalikaIhle in #100
• Update exercise.md by @MalikaIhle in #97
• Update types.md by @MalikaIhle in #94
• Update exercise.md by @MalikaIhle in #90
• Update foundations.md by @MalikaIhle in #88
• Update usage.md by @MalikaIhle in #85
• Devel by @Maximilian-Stefan-Ernst in #113
• Close open Issues by @moritzketzer in #118
• explain .Main by @aaronpeikert in #121
• update devel by @Maximilian-Stefan-Ernst in #122
• Fixes #104 - italic variable in foundations revisited by @moritzketzer in #123
• fix broken link by @aaronpeikert in #120
• Create LICENSE by @aaronpeikert in #117
• Create CITATION.cff by @aaronpeikert in #82
• Issues me by @Maximilian-Stefan-Ernst in #124
• Foundations revisited by @moritzketzer in #125
• main to devel by @Maximilian-Stefan-Ernst in #127
• Last changes for Munich by @Maximilian-Stefan-Ernst in #128
• change png to jpg by @moritzketzer in #130
• What to do with additional materials by @moritzketzer in #132
• Me/pokemon by @Maximilian-Stefan-Ernst in #133

New Contributors

• @MalikaIhle made their first contribution in #100

Full Changelog: v0.0.5...v0.0.6

Release to trigger first Zenodo DOI

Works are now under CC0

London Version

What's Changed

• Devel by @Maximilian-Stefan-Ernst in #63

Full Changelog: v0.0.3...v0.0.4

Third Internal Testrun

What's Changed

• Merge pull request #50 from formal-methods-mpi/devel by @aaronpeikert in #55
• add presentation and workshop feedback by @Maximilian-Stefan-Ernst in #35
• Feature/introduction by @aaronpeikert in #31
• Close a few issues, rework advanced materials parts by @Maximilian-Stefan-Ernst in #52
• rewrite restarting the repl, summary and tab key section by @moritzketzer in #53
• Rename advanced -> additional by @moritzketzer in #58
• rework presentation for london, add ending presentation by @Maximilian-Stefan-Ernst in #59
• Fix some issues by @Maximilian-Stefan-Ernst in #61
• Add foundations revisited by @moritzketzer in #60
• Update Main by @moritzketzer in #62

Full Changelog: v0.0.2...v0.0.3

Second Internal Testrun

What's Changed

• dependency in docs actually seems to be normal by @aaronpeikert in #23
• Hotfix/verify install by @aaronpeikert in #22
• Update CI by @aaronpeikert in #48
• minor changes to foundations.md, added restart REPL and removed REPL shell mode in usage.md by @moritzketzer in #36
• Devel by @aaronpeikert in #50
• Rework me by @Maximilian-Stefan-Ernst in #44
• Signup mail by @aaronpeikert in #49

Full Changelog: v0.0.1...v0.0.2

First Internal Testrun

The current state is unfinished for setup and advanced stuff, contains loads of errors etc., but this is where we are.

What's Changed

• ideas for a first draft by @aaronpeikert in #1
• add Documenter.jl and CI infrastructure by @aaronpeikert in #3
• add GHA PreviewDocumentation.yml by @aaronpeikert in #5
• Sync devel and main by @aaronpeikert in #12
• add introduction draft and add .vscode to gitignore by @moritzketzer in #14
• finish minimal working example of the intro by @moritzketzer in #15
• Restructure workflow by @Maximilian-Stefan-Ernst in #21
• User interface by @Maximilian-Stefan-Ernst in #17
• add julia logo by @aaronpeikert in #11
• fix edit link by @aaronpeikert in #10
• Feature/footer by @aaronpeikert in #24
• merge foundations chapter (current) and syntax chapter (old and archived) by @moritzketzer in #26
• First workshop by @Maximilian-Stefan-Ernst in #27
• Prepare for release by @aaronpeikert in #28

New Contributors

• @aaronpeikert made their first contribution in #1
• @moritzketzer made their first contribution in #14
• @Maximilian-Stefan-Ernst made their first contribution in #21

Full Changelog: https://github.com/formal-methods-mpi/Workshop.jl/commits/v0.0.1