First of all congratulations for this fine piece of software. Really useful.
Is the source code available to access via some repository? I see that source code is available for mendelson as2 but not for as4. Is this intended or you just did not get around to it?