Searched refs:file2stream (Results 1 – 1 of 1) sorted by relevance
3390 void file2stream(const char * filename,ostream & texof){ in file2stream() function3465 file2stream(filename.c_str(),texof); // copy f to the current stream in historypack2tex()3512 file2stream(filename.c_str(),texof); // copy f to the current stream in historypack2tex()