* Am 13.06.06 schrieb neil:
> Are there obvious places (other than http:// www.e-pig.org/) I should
> look for notes, examples etc?
I think the online supplement of Thorstens course on computer aided
formal reasoning isn't linked from e-pig.org:
http://www.cs.nott.ac.uk/~txa/g5bcfr/
It's got a nice learning curve.
Though i was never engaged in teaching epigram, there's one thing i like
to do when showing epigram to someone where network connected computers
running *nix and ssh are available:
When epigram is up and running, in some buffer where keystrokes are not
captured by it e.g. *scratch* launch gnuserv by typing
<M-x gnuserv-start> . Then login into your machine from the other one's
via ssh with the -X option set and start <gnuclient>. At most some
switching of buffers to bring the right ones to the foreground should be
necessary. And depending on wether you'd mind the other person beeing
able to read your mail it's advised to use some dummy account for such a
session.
This is perhaps too geekish for many people, but when you dislike
banging your heads in front of and fingerprints on your monitor this
comes in handy.
Best regards,
Sebastian
