.. Leon documentation master file, created by sphinx-quickstart on Fri Feb 27 13:23:31 2015. You can adapt this file completely to your liking, but it should at least contain the root `toctree` directive. Leon documentation ================== Contents: .. toctree:: :maxdepth: 2 intro gettingstarted installation tutorial purescala library xlang verification resourcebounds neon isabelle limitations synthesis repair genc options faq references Indices and tables ================== * :ref:`genindex` * :ref:`search`