Congratulations, your wiki is now up and running. Here are a few more tips to get you started.
Enjoy your work with DokuWiki,
– the developers
Your wiki needs to have a start page. As long as it doesn't exist, this link will be red: Isabelle/HOL and Proof General Reference.
Go on, follow that link and create the page. If you need help with using the syntax you can always refer to the syntax page.
Please be aware that not all templates support sidebars.
Once you're comfortable with creating and editing pages you might want to have a look at the configuration settings (be sure to login as superuser first).
DokuWiki is an Open Source project that thrives through user contributions. A good way to stay informed on what's going on and to get useful tips in using DokuWiki is subscribing to the newsletter.
Of course we'd be more than happy to have you getting involved with DokuWiki.