Re: [Gnu-arch-users] recent user-visible changes pushed

[Tom Lord]

    > From: Zack Brown <address@hidden>

    > How can I access the tutorial source? I used

    >     tla get -A address@hidden tla--devo--1.1 my-bader

    > to get the full sources from Miles, but the tutorial isn't in there.


If you build a devo.tla config from my archive (rather than miles'),
the source is in src/docs-tla.

The particular subproject is:

  address@hidden/docs-tla--devo--1.0


-t