On Thu, 13 Dec 2012, Dmitriy Traytel wrote:
I use Mercurial 2.2 and after pushing ed6b40d15d1c the attached error
log was generated.
Rewind to the start of the thread ...
According to http://mercurial.selenic.com/wiki/WhatsNew 2.2 introduces
"parsers: incrementally parse the revlog index in
On Mon, 17 Dec 2012, Jasmin Blanchette wrote:
Am 17.12.2012 um 15:45 schrieb Makarius:
Jasmin (Mac OS X user) is also using patch queus routinely, but never
had this effect so far. Is this correct?
Yes. And I'm also using a rather old version (1.5).
This is another important empirical obs
Am 17.12.2012 um 16:19 schrieb Makarius:
> "If the revision being repaired was part of an applied patch queue" could
> also mean the row of changes by Jasmin that were already pushed and in their
> proper place. Jasmin, do you remember if these where plain first-order
> commits on your side, o
Am 17.12.2012 um 15:45 schrieb Makarius:
> Jasmin (Mac OS X user) is also using patch queus routinely, but never had
> this effect so far. Is this correct?
Yes. And I'm also using a rather old version (1.5).
Jasmin
___
isabelle-dev mailing list
isab
On 17.12.2012 16:19, Makarius wrote:
On Mon, 17 Dec 2012, Dmitriy Traytel wrote:
So the patch queue was not used for that particular change? I wonder
if it can somehow interact nonetheless.
Right, no patch queue for that specific import. Changeset 50503
mentioned below was the tip at the momen
On Mon, 17 Dec 2012, Makarius wrote:
Ubuntu 12.10 (Linux kernel 3.5.0-20-generic, 64 bit).
Just empirically, I see at the moment a correlation of "Debian/Ubuntu + patch
queue" with repository meltdown: Dmitriy, Alex, Johannes.
https://launchpad.net/ubuntu/+source/mercurial/2.0.2-1ubuntu1 lo
On Mon, 17 Dec 2012, Dmitriy Traytel wrote:
So the patch queue was not used for that particular change? I wonder if it
can somehow interact nonetheless.
Right, no patch queue for that specific import. Changeset 50503 mentioned
below was the tip at the moment, when I pushed.
This fits to the
On Fri, 14 Dec 2012, Johannes Hölzl wrote:
Most informations in the community wiki are from the former
community.html of the Isabelle website (which is maintained in
http://isabelle.in.tum.de/repos/website/). So the wiki contains mostly:
* links where to find help for beginners (additional cour
On 17.12.2012 15:45, Makarius wrote:
On Mon, 17 Dec 2012, Dmitriy Traytel wrote:
On 17.12.2012 15:23, Makarius wrote:
On Thu, 13 Dec 2012, Dmitriy Traytel wrote:
I use Mercurial 2.2 and after pushing ed6b40d15d1c the attached
error log was generated. hg verify on the server says that
c4a27a
On Fri, 14 Dec 2012, Johannes Hölzl wrote:
Anythying that needs to be added to Admin/Mercurial/Central/README can be
discussed here (or privately).
I think we should add the trick by Alex to use strip.
I have add some more text in Isabelle/325bf9073c59.
Makarius
On Mon, 17 Dec 2012, Dmitriy Traytel wrote:
On 17.12.2012 15:23, Makarius wrote:
On Thu, 13 Dec 2012, Dmitriy Traytel wrote:
I use Mercurial 2.2 and after pushing ed6b40d15d1c the attached error log
was generated. hg verify on the server says that c4a27ab89c9b is the first
damaged changeset.
On 13.12.2012 15:14, Dmitriy Traytel wrote:
Some more data points: I use Mercurial 2.2 and after pushing
ed6b40d15d1c the attached error log was generated. hg verify on the
server says that c4a27ab89c9b is the first damaged changeset. The
corrupted repository is still on the server
(/home/isabell
On 17.12.2012 15:23, Makarius wrote:
On Thu, 13 Dec 2012, Dmitriy Traytel wrote:
I use Mercurial 2.2 and after pushing ed6b40d15d1c the attached error
log was generated. hg verify on the server says that c4a27ab89c9b is
the first damaged changeset. The corrupted repository is still on the
ser
On Thu, 13 Dec 2012, Dmitriy Traytel wrote:
I use Mercurial 2.2 and after pushing ed6b40d15d1c the attached error
log was generated. hg verify on the server says that c4a27ab89c9b is the
first damaged changeset. The corrupted repository is still on the server
(/home/isabelle-repository/repos/i
On Fri, 14 Dec 2012, Makarius wrote:
Our main tools for Isabelle development are the repistory and the
isabelel-dev mailing list.
Some further clarification:
* "repository" is a place for formal changesets made persistent in
history
* "mailing list" is a place for informal communicat
On Fri, 14 Dec 2012, Lars Noschinski wrote:
Also, as far as discoverability of documentation goes, sticking it in
Admin/ between a number scripts which are mostly relevant to the Release
Maintainer ranks pretty low.
That is a misunderstanding of the purpose of Isabelle/Admin. As the name
al
On 14.12.2012 14:23, Johannes Hölzl wrote:
Why is there again this diverging clone of important administrative
information? So the community wiki is not about Isabelle community at
all, but to make administration harder by putting unreliable information
snippets on a virtual whiteboard.
I feel
Am Freitag, den 14.12.2012, 13:47 +0100 schrieb Makarius:
> On Fri, 14 Dec 2012, Makarius wrote:
>
> > When I did the re-cloning last time, I documented it explicitly in
> > http://isabelle.in.tum.de/repos/isabelle/rev/71136069089d see also
> > http://www.mail-archive.com/isabelle-dev@mailbroy.i
Am Freitag, den 14.12.2012, 13:25 +0100 schrieb Makarius:
> On Thu, 13 Dec 2012, Dmitriy Traytel wrote:
>
> > Stripping did not work (even on lxbroy10 with some older Mercurial).
> > However, Johannes managed to apparently fix everything by doing a fresh
> > clone, copying some files (such as hg
On Fri, 14 Dec 2012, Makarius wrote:
When I did the re-cloning last time, I documented it explicitly in
http://isabelle.in.tum.de/repos/isabelle/rev/71136069089d see also
http://www.mail-archive.com/isabelle-dev@mailbroy.informatik.tu-muenchen.de/msg02978.html
I have compared the wiki advice
On Thu, 13 Dec 2012, Dmitriy Traytel wrote:
Stripping did not work (even on lxbroy10 with some older Mercurial).
However, Johannes managed to apparently fix everything by doing a fresh
clone, copying some files (such as hgrc) and adjusting permissions (cf.
https://isabelle.in.tum.de/community/
Dear Dmitriy,
thanks for pushing! (I hope the repository trouble is not connected to
my changesets ;))
cheers
chris
On 12/13/2012 09:58 PM, Dmitriy Traytel wrote:
The test run was ok, but the repository is corrupted once again. Trying
to repair by stripping.
Dmitriy
On 13.12.2012 13:23, D
Stripping did not work (even on lxbroy10 with some older Mercurial).
However, Johannes managed to apparently fix everything by doing a fresh
clone, copying some files (such as hgrc) and adjusting permissions (cf.
https://isabelle.in.tum.de/community/Reconstructing_the_Isabelle_repository).
Som
The test run was ok, but the repository is corrupted once again. Trying
to repair by stripping.
Dmitriy
On 13.12.2012 13:23, Dmitriy Traytel wrote:
It worked for me. I'm currently building (or more precisely running
the build tool ;-) ) and will push if it succeeds.
Dmitriy
On 13.12.2012 12
It worked for me. I'm currently building (or more precisely running the
build tool ;-) ) and will push if it succeeds.
Dmitriy
On 13.12.2012 12:53, Tobias Nipkow wrote:
I tried to apply your patch but failed (see below). Since I had a problem with
somebody else's patch before, I wonder if some
I tried to apply your patch but failed (see below). Since I had a problem with
somebody else's patch before, I wonder if something is wrong at my end? Any
suggestions?
Tobias
$ hg import emb
applying emb
patching file NEWS
Hunk #1 FAILED at 172
Hunk #2 FAILED at 181
2 out of 2 hunks FAILED -- sav
I'll look at it, thanks.
Tobias
Am 09/12/2012 12:50, schrieb Christian Sternagel:
> I fixed an error that only came up during document preparation (which I should
> have tested previously, sorry).
>
> cheers
>
> chris
>
> On 12/09/2012 02:27 PM, Christian Sternagel wrote:
>> Dear all,
>>
>> I
I fixed an error that only came up during document preparation (which I
should have tested previously, sorry).
cheers
chris
On 12/09/2012 02:27 PM, Christian Sternagel wrote:
Dear all,
I have the following changes in my local patch queue:
- In src/HOL/Library/Sublist.thy:
renamed "emb" ~
Dear all,
I have the following changes in my local patch queue:
- In src/HOL/Library/Sublist.thy:
renamed "emb" ~> "list_hembeq" and "sub" ~> "sublisteq";
slightly changed definition of list_hembeq to make it reflexive
independent of the base order;
dropped predicate "transp_on"
Reasons
29 matches
Mail list logo
