
/******************************************************************************
* MODULE     : thomas.gen.cc
* DESCRIPTION: Thomas' conversion of tex strings into texmacs trees
* COPYRIGHT  : (C) 1999  Joris van der Hoeven
*******************************************************************************
* This software falls under the GNU general public license and comes WITHOUT
* ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for more details.
* If you don't have this file, write to the Free Software Foundation, Inc.,
* 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
******************************************************************************/

#include <string.gen.h>

#module code_thomas
#import string

void
thomas_test (string s) {
  cout << "Thomas test " << s << "\n";
}

#endmodule // code_thomas
