[isabelle-dev] Pow

Makarius makarius at sketis.net
Mon Dec 14 16:40:19 CET 2009

On Mon, 14 Dec 2009, Alexander Krauss wrote:

> Robert Himmelmann wrote:
>> There seem to be quite a few problems with find_theorems at the moment;
>> various searches do not return any results, e.g. prepending (100) to any
>> search. Changeset a03f3f9874f6 seems to be working whereas in
>> ada58d813783 the search is broken.
> The culprit seems to be f3f0e20923a7, which changed the semantics of 
> take and drop with negative indices. Errors in find theorems are not 
> caught by the usual regression tests, unfortunately...
> changeset:   34059:f3f0e20923a7
> user:        haftmann
> date:        Wed Dec 09 21:38:12 2009 +0100
> summary:     take and drop as projections of chop

So how did you find out?  Probably via "hg bisect" as usual -- but I 
reckon that more than half of the readers of this list have never used 
this indispensible tool of Mercurial so far.


More information about the isabelle-dev mailing list