First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Foldable proofs


Chronological Thread 
  • From: Pierre-Henri Jondot <address@hidden>
  • To: texmacs-users <address@hidden>
  • Subject: Foldable proofs
  • Date: Sun, 30 May 2021 12:08:58 +0200
Hi,

For my math lessons, I distribute the main topics to students, including
definitions, theorems, remarks, exercices but of course I leave out the
proofs and answers to exercises, so that we can look for them together.

They do have access to complete documents online, if they got sick and missed
a lesson, or if they are unsure of one argument they copied though... So I am
looking for a way to show/hide the proofs of theorems and answers of
exercises.

The simple, but very dirty way I have found so far is to redefine the proof
macro in the preamble to just do nothing... and remove the definition for the
proofs to come back. My first idea would have been to reproduce what I have
been used to do with latex, which is to define the proof environment to
respond to the value of a boolean, with a conditional branching if but, I am
not sure, from what I could read in the Jolly Writer, that this would be a
better approach...

The education->course style already has something in that regard, only with
respect with problems,exercise/solutions and Questions/answers.

I tried to have a look at the style definitions, but it is a bit daunting :
the course.ts file invokes many packages, including std-edu.ts, which does
define the folding environment and it seems the change of the menus comes
from the scheme script : edu-menu.scm, although I am not sure how this last
module gets loaded...

Regards,

Pierre-Henri

Archive powered by MHonArc 2.6.19.

Top of page