Gabriel Ebner edited this page Nov 5, 2017 · 17 revisions

Welcome to the gapt developer wiki! These pages contain information relevant to the development of the gapt-system. If you are interested in how to use gapt, please have a look at the user manual which is included in the releases. The latest release can be found at the gapt website.

This wiki covers the following topics:

GAPT used to be developed on google code in a subversion repository. The page linked to below serves as a reference for the translation of subversion revisions to git hashes:
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.