polyhorn-cli 0.3.1

Library with CLI for Polyhorn.
Documentation 
1
2
3
4
5
6
7
8
9
10

<menu xmlns:android="http://schemas.android.com/apk/res/android"
    xmlns:app="http://schemas.android.com/apk/res-auto"
    xmlns:tools="http://schemas.android.com/tools"
    tools:context="{ spec.app.android.package }.MainActivity">
    <item
        android:id="@+id/action_settings"
        android:orderInCategory="100"
        android:title="@string/action_settings"
        app:showAsAction="never" />
</menu>