Subject: mailing-list for TeXmacs Users
List archive
From : TeXmacs <address@hidden>- To: address@hidden
- Subject: Re: Foldable proofs
- Date: Sun, 30 May 2021 20:03:22 +0200
Hi Pierre-Henri,
You do not need to be in the beamer style.
The presentation shortcuts F9, F10, F11, and F12 work in any style.
It indeed makes sense, sometimes, to "present" more general types of
documents.
You just don't have the corresponding icons in the user interface.
Best wishes, --Joris
On Sun, May 30, 2021 at 06:43:23PM +0200, Pierre-Henri Jondot wrote:
> Hi Joris and Basile,
>
> While it feels weird to change style to beamer, and back again to course or
> whatever style I am using, it does indeed do the trick.
>
> As it is not something I will do that often, it is a good solution.
>
> Thanks,
>
> Pierre-Henri
>
> > Le 30 mai 2021 à 18:36, TeXmacs <address@hidden> a écrit :
> >
> > Hi Pierre-Henri,
> >
> > Basile's suggestion is correct: you may use the shortcuts F9 and F12
> > from the beamer mode to fold / unfold everything.
> >
> > Best wishes, --Joris
> >
> >
> >
> > On Sun, May 30, 2021 at 06:08:35PM +0200, Pierre-Henri Jondot wrote:
> >>
> >>
> >>> Le 30 mai 2021 à 16:56, pireddag <address@hidden> a écrit :
> >>>
> >>>
> >>> =======
> >>>>
> >>>> The recommended way for this is to use
> >>>>
> >>>> Insert -> Fold -> Folded -> Environment
> >>>>
> >>>> In the "always visible" branch, you put the theorem itself.
> >>>> In the "unfolded branch", you put the proof.
> >>>> You may click on the circle in the margin to fold/unfold.
> >>>> You might prefer to send the "margins on screen" to '10mm' instead of
> >>>> '5mm'.
> >>>
> >>> Great ! It is almost perfect… I just need to find out where I can fold
> >>> and unfold every foldable environment in one click/command, as there
> >>> might be quite a few dozens of those for each chapter, so that I can
> >>> easily generate the document to be printed (without the proofs) and the
> >>> one to be put online (with the proofs).
> >>>
> >>> ======
> >>>
> >>>
> >>> My instinct for this is to do it with a program. I do not have the
> >>> possibility to experiment today <calendar:T5:today>, but here is what I
> >>> would do:
> >>> 1) Figure out what the circle in the margin does. Perhaps one way is to
> >>> look for the definition of the Folded Environment, either the
> >>> definition of the circle or a reference to it may be there
> >>> 2) Apply the same action to all Folded Environments in the buffer using
> >>> the Scheme map function. I forgot how to select all instances of a
> >>> given tag as well :-) but it should be possible to find it out via some
> >>> example
> >>> 3) Assign the whole procedure to a menu item
> >>>
> >>> I'm aware I wrote abstract things :-) I might be able to write a
> >>> detailed version in a few days---I first need to experiment. Maybe
> >>> someone else will be quicker.
> >>>
> >>> Giovanni
> >>
> >>
> >> Thanks to all for the suggestions.
> >>
> >> This one seems quite promising. I am watching the last jolly coders
> >> video, maybe it will bring me some insight to achieve this with some
> >> scheme programming.
> >>
> >> Regards,
> >>
> >> Pierre-Henri
>
- Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- Re: Foldable proofs, TeXmacs, 05/30/2021
- Re: Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- Re: Foldable proofs, Basile Audoly, 05/30/2021
- Re: Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- <Possible follow-up(s)>
- Re: Foldable proofs, pireddag, 05/30/2021
- Re: Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- Re: Foldable proofs, TeXmacs, 05/30/2021
- Re: Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- Re: Foldable proofs, TeXmacs, 05/30/2021
- Re: Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- Re: Foldable proofs, TeXmacs, 05/30/2021
- Re: Foldable proofs, Pierre-Henri Jondot, 05/30/2021
- Re: Foldable proofs, TeXmacs, 05/30/2021
- Re: Foldable proofs, pireddag, 05/30/2021
- Re: Foldable proofs, TeXmacs, 05/30/2021
Archive powered by MHonArc 2.6.19.