PlutoTeachingTools v0.3.1
Merged pull requests:
- Add select_lang_dropdown (#50) (@eford)
- Generalize
columns
(#51) (@greimel) - Test on 1.11.0-rc (#52) (@greimel)
- Automatically suggest fixes for bad formatting (#53) (@greimel)
- Remove code formatting test (#54) (@adrhill)
- Add example of using
ShortCodes.jl
with footnotes (#58) (@eford) - use
PlutoUI.details
forFoldable
(#60) (@greimel)
Closed issues: