coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq and RSI

From: Enrico Tassi <enrico.tassi AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq and RSI
Date: Tue, 28 Aug 2012 18:32:14 +0200

On Tue, Aug 28, 2012 at 11:50:37AM -0400, Thomas Braibant wrote:
> I would be glad to know of any other advices/experiences of people on
> this list.

Welcome into the club ;-)

I would recommend to `apt-get install workrave` (http://www.workrave.org/)
and take its prompts for a break seriously. It really helped me to recover.

Cheers
--
Enrico Tassi

[Coq-Club] Coq and RSI, Thomas Braibant, 08/28/2012
- Re: [Coq-Club] Coq and RSI, Kristopher Micinski, 08/28/2012
- Re: [Coq-Club] Coq and RSI, Enrico Tassi, 08/28/2012
- Re: [Coq-Club] Coq and RSI, J. Ian Johnson, 08/28/2012
  - Re: [Coq-Club] Coq and RSI, Stefan Monnier, 08/28/2012
- Re: [Coq-Club] Coq and RSI, Pierre Courtieu, 08/29/2012
- <Possible follow-up(s)>
- Re: [Coq-Club] Coq and RSI, J. Ian Johnson, 08/28/2012
  - Re: [Coq-Club] Coq and RSI, Pierre Courtieu, 08/29/2012
    - Re: [Coq-Club] Coq and RSI, Thomas Braibant, 08/29/2012
      - Re: [Coq-Club] Coq and RSI, Joseph Tassarotti, 08/29/2012
      - Re: [Coq-Club] Coq and RSI, Pierre Courtieu, 08/30/2012