WARNINGS

No implementation found for style `vmargin'
No implementation found for style `url'
No implementation found for style `time'
No implementation found for style `algorithmic'
No implementation found for style `nbcode'
No implementation found for style `version'
No implementation found for style `caption'
No implementation found for style `enumitem'
No implementation found for style `bussproofs'
No implementation found for style `setspace'
No implementation found for style `mathpartir'
No implementation found for style `rotating'
No implementation found for style `blox'
No implementation found for style `eventblst'
No implementation found for style `dafny'
No implementation found for style `ifthen'
No implementation found for style `outlines'
No implementation found for style `ulem'

redefining command \keywords 

previous meaning of \keywords will be lost
boolean showcomments not defined