On Mon, 27 Aug 2012, Christian Sternagel wrote:
1) In theory T imports A, I'd like to be able to Ctrl-click on A to
open the corresponding theory file.
See some changesets leading up to Isabelle/10b89c127153 how I've spent
Sunday afternoon.
2) In use filename, I'd like to be able to
Am 27/08/2012 13:35, schrieb Makarius:
It is generally a good move to develop a habit to allocate some small amounts
in
project proposals etc. for Poly/ML software maintenance and direct it to
David. This is how things can continue, and David gets a tiny little bit of
recompense for his
Various projects of mine, going back many years, have supported Poly/ML at the
rate of £1000 per year. (That's just under €1300.) This is a much better use of
grant money than to give it to already wealthy publishers for the sake of
so-called Gold open access.
Larry
On 27 Aug 2012, at 16:18,
On Mon, 2012-08-27 at 13:35 +0200, Makarius wrote:
1) In theory T imports A, I'd like to be able to Ctrl-click on A to
open the corresponding theory file.
See some changesets leading up to Isabelle/10b89c127153 how I've spent
Sunday afternoon.
Nice. I suspect it would be considerably
