Mon, 28 Aug 2000 20:33:23 +0200 |
wenzelm |
tex_index: Latex.tex_trailer;
|
file |
diff |
annotate
|
Thu, 27 Jul 2000 18:25:28 +0200 |
wenzelm |
export write_graph;
|
file |
diff |
annotate
|
Sun, 23 Jul 2000 12:10:11 +0200 |
wenzelm |
removed all_sessions.graph;
|
file |
diff |
annotate
|
Sun, 25 Jun 2000 23:55:58 +0200 |
wenzelm |
adapted to improved presentation;
|
file |
diff |
annotate
|
Wed, 07 Jun 2000 12:14:29 +0200 |
berghofe |
Reorganized graph stuff.
|
file |
diff |
annotate
|
Fri, 05 May 2000 22:18:40 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Mon, 03 Apr 2000 14:00:16 +0200 |
wenzelm |
support markup environments;
|
file |
diff |
annotate
|
Sat, 01 Apr 2000 20:09:20 +0200 |
wenzelm |
isatool document: check output file (workaround PolyML problem with RC);
|
file |
diff |
annotate
|
Fri, 17 Mar 2000 16:30:45 +0100 |
wenzelm |
old_symbol_source: include header;
|
file |
diff |
annotate
|
Wed, 09 Feb 2000 12:30:04 +0100 |
wenzelm |
document -c;
|
file |
diff |
annotate
|
Sat, 05 Feb 2000 16:57:02 +0100 |
wenzelm |
additional tex dump;
|
file |
diff |
annotate
|
Fri, 04 Feb 2000 21:44:38 +0100 |
wenzelm |
added old_symbol_source;
|
file |
diff |
annotate
|
Wed, 05 Jan 2000 11:38:48 +0100 |
wenzelm |
chapter;
|
file |
diff |
annotate
|
Wed, 13 Oct 1999 19:41:35 +0200 |
wenzelm |
system;
|
file |
diff |
annotate
|
Fri, 08 Oct 1999 15:50:10 +0200 |
wenzelm |
isatool_document;
|
file |
diff |
annotate
|
Thu, 07 Oct 1999 17:20:58 +0200 |
wenzelm |
verbatim markup tokens;
|
file |
diff |
annotate
|
Thu, 07 Oct 1999 12:20:21 +0200 |
wenzelm |
tex_source: Buffer.write;
|
file |
diff |
annotate
|
Thu, 07 Oct 1999 11:34:46 +0200 |
berghofe |
Exported function get_info.
|
file |
diff |
annotate
|
Wed, 06 Oct 1999 18:12:48 +0200 |
wenzelm |
Latex.token;
|
file |
diff |
annotate
|
Wed, 06 Oct 1999 00:35:05 +0200 |
wenzelm |
accomodate markup commands;
|
file |
diff |
annotate
|
Tue, 05 Oct 1999 15:34:27 +0200 |
wenzelm |
include browser_info stuff;
|
file |
diff |
annotate
|
Sun, 03 Oct 1999 15:54:25 +0200 |
wenzelm |
improved theory_source presentation (hook);
|
file |
diff |
annotate
|
Tue, 09 Mar 1999 12:13:11 +0100 |
wenzelm |
still fake, passes BrowserInfo;
|
file |
diff |
annotate
|
Thu, 11 Feb 1999 21:18:19 +0100 |
wenzelm |
init, finish;
|
file |
diff |
annotate
|
Wed, 03 Feb 1999 17:23:04 +0100 |
wenzelm |
Theory presentation (fake implementation);
|
file |
diff |
annotate
|