On 3 déc. 2009, at 18:12, Hans Hagen wrote:
there will be a tracing mechanism in mkiv
Hans
Many thanks Hans for your answer. For the time being I found a solution, which is far from being optimal for visualizing references to equations, but is acceptable for now (actually for writing math articles I still use only mkii). In case others would need such a workaround, I give an example below. Have a nice week-end. Best regards: OK %%% begin show-references.tex \enableregime[utf] \setupformulas[way=bysection] %% defining \proclaim which is built in Plain-teX %% but has disappeared from ConTeXt \defineenumeration[proclaim] [text=, style=slanted, title=yes, titleleft=, titleright=, location=serried, width=fit, right={.~}] \setupnumber[proclaim][way=bysection,numbersection=yes] %% end definition \proclaim % Defining \eqref and \lemref % all equation references should be like eq:something \def\eqref#1{(\in[eq:#1])} % all proposition references should be like lem:something \def\lemref#1{\in[lem:#1]} % in order to visualize the references when % proof reading we add these commands % to see the references in the margins one has to say % \enablemode[temporary] \def\showeqref#1{\doifmode{temporary}{\inright{\ttxx #1}}} \def\showlemref#1{\doifmode{temporary}{\inleft{\ttxx #1}}} \enablemode[temporary] \starttext \title{Showing the cross references} \blank[2*big] \section{Introduction} In this paper we are interested in the study of the following Schrödinger system of equations: find an infinite sequence $(\lambda_{m},\phi_{m})_{m\geq1}$ and a potential $V$ satisfying \showeqref{Eigen, Potential} \placeformula \startformula \startalign[n=3] \NC {-1\over 2} \Delta \phi_{m} + V\phi_{m} \NC = \lambda_{m}\phi_{m} \NC \quad\mbox{in }\, \Omega \NR[eq:Eigen] \NC - \Delta V \NC = \sum_{m=1}^{\infty}\rho_{m}|\phi_{m}|^2 \NC \quad\mbox{in }\, \Omega \NR[eq:Potential] \stopalign \stopformula Our main result is the following: \startproclaim[lem:MainThm]{Theorem} \showlemref{MainThm} The Schrödinger-Poisson system of equations \eqref{Eigen}--\eqref{Potential} has a solution obtained as the minimum of the functional $J$. \stopproclaim \input knuth.tex \blank The proof of theorem \lemref{MainThm} will be given later\dots \stoptext %%% en show-references.tex