2
/******************************************************************************
3
* MODULE : substitute.cpp
4
* DESCRIPTION: Use plugins in an invisible way: substitute selections
5
* by their evaluations (see ../progs/init-substitute.scm)
6
* COPYRIGHT : (C) 2003 Joris van der Hoeven
7
*******************************************************************************
8
* This software falls under the GNU general public license version 3 or later.
9
* It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
10
* in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
11
******************************************************************************/
16
#define DATA_BEGIN ((char) 2)
17
#define DATA_END ((char) 5)
18
#define DATA_ESCAPE ((char) 27)
22
cout << DATA_BEGIN << "verbatim:";
23
cout << "An interactive LaTeX -> TeXmacs translator\n";
24
cout << "Can also be used outside sessions: select a LaTeX expression\n";
25
cout << "and press C-F12\n";
31
cin.getline (buffer, 100, '\n');
33
cout << "latex:$" << buffer << "$";