mailing-list for TeXmacs Users

[Pierre-Henri Jondot <address@hidden>]

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