[Process] Type=Edit file Engine=MediaWiki Script=http://knowino.org/w/index.php Server=http://knowino.org Path=/w Special namespace=Special [File] Extension=png URL=http://knowino.org/w/images/8/8c/IsabelleTutorial.png