{"pages":[{"page_name":"fregIDE-Tutorial","title":"fregIDE Tutorial","summary":null,"action":"edited","sha":"320a21a32a5be667509212e499b0cabc971236f9","html_url":"https://github.com/Frege/eclipse-plugin/wiki/fregIDE-Tutorial"}]}