src/Pure/Thy/present.ML
Sun, 28 Aug 2005 19:47:24 +0200 wenzelm isatool latex -o sty;
Tue, 16 Aug 2005 13:42:53 +0200 wenzelm support for document versions;
Mon, 20 Jun 2005 22:14:18 +0200 wenzelm clarify empty vs. pure browser info;
Fri, 17 Jun 2005 18:33:11 +0200 wenzelm accomodate change of TheoryDataFun;
Sun, 05 Jun 2005 11:31:26 +0200 wenzelm removed copy, copy_all (superceded by File.copy, File.copy_dir);
Thu, 21 Apr 2005 22:02:06 +0200 wenzelm superceded by Pure.thy and CPure.thy;
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Mon, 23 Aug 2004 18:35:11 +0200 berghofe begin_theory now takes optional path (current directory) as argument.
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Sun, 20 Jun 2004 09:26:29 +0200 wenzelm tuned;
Fri, 18 Jun 2004 20:07:31 +0200 wenzelm isatool_document: verbose option;
Wed, 16 Jun 2004 20:42:22 +0200 wenzelm isatool_document: writeln output;
Sun, 13 Jun 2004 15:30:58 +0200 wenzelm tuned Present.drafts;
Sat, 12 Jun 2004 22:45:18 +0200 wenzelm added Present.drafts;
Wed, 09 Jun 2004 18:52:42 +0200 wenzelm Url.File;
Fri, 16 Apr 2004 18:45:56 +0200 berghofe Replaced quote by Library.quote, since quote now refers to Symbol.quote
Mon, 12 Apr 2004 23:52:15 +0200 kleing use css
Tue, 27 Aug 2002 11:07:01 +0200 wenzelm simplified results;
Sat, 16 Feb 2002 21:26:19 +0100 kleing fixed copy_all
Fri, 15 Feb 2002 20:43:09 +0100 wenzelm clarified copy_all;
Thu, 24 Jan 2002 22:44:10 +0100 wenzelm copy_files *.sty;
Fri, 04 Jan 2002 19:28:57 +0100 wenzelm isatool document: stderr to stdout;
Wed, 28 Nov 2001 00:46:26 +0100 wenzelm theory data: removed obsolete finish method;
Sun, 11 Nov 2001 21:38:54 +0100 wenzelm present multi_result;
Fri, 09 Nov 2001 00:19:20 +0100 wenzelm theory data: finish method;
Tue, 23 Oct 2001 22:54:01 +0200 wenzelm build option enables most basic browser info (for proper recording of session);
Sat, 20 Oct 2001 20:23:37 +0200 wenzelm graceful interpretation of -i/-d/-D options;
Thu, 27 Sep 2001 12:24:19 +0200 wenzelm verbose option;
Sun, 04 Feb 2001 19:44:09 +0100 wenzelm added no_document
Mon, 11 Sep 2000 17:37:50 +0200 wenzelm support \isabellecontext;
Fri, 01 Sep 2000 19:49:04 +0200 wenzelm copy_files: do not quote paths (for now);
Fri, 01 Sep 2000 17:45:07 +0200 wenzelm isatool_document: quote args;
Mon, 28 Aug 2000 20:33:23 +0200 wenzelm tex_index: Latex.tex_trailer;
Thu, 27 Jul 2000 18:25:28 +0200 wenzelm export write_graph;
Sun, 23 Jul 2000 12:10:11 +0200 wenzelm removed all_sessions.graph;
Sun, 25 Jun 2000 23:55:58 +0200 wenzelm adapted to improved presentation;
Wed, 07 Jun 2000 12:14:29 +0200 berghofe Reorganized graph stuff.
Fri, 05 May 2000 22:18:40 +0200 wenzelm GPLed;
Mon, 03 Apr 2000 14:00:16 +0200 wenzelm support markup environments;
Sat, 01 Apr 2000 20:09:20 +0200 wenzelm isatool document: check output file (workaround PolyML problem with RC);
Fri, 17 Mar 2000 16:30:45 +0100 wenzelm old_symbol_source: include header;
Wed, 09 Feb 2000 12:30:04 +0100 wenzelm document -c;
Sat, 05 Feb 2000 16:57:02 +0100 wenzelm additional tex dump;
Fri, 04 Feb 2000 21:44:38 +0100 wenzelm added old_symbol_source;
Wed, 05 Jan 2000 11:38:48 +0100 wenzelm chapter;
Wed, 13 Oct 1999 19:41:35 +0200 wenzelm system;
Fri, 08 Oct 1999 15:50:10 +0200 wenzelm isatool_document;
Thu, 07 Oct 1999 17:20:58 +0200 wenzelm verbatim markup tokens;
Thu, 07 Oct 1999 12:20:21 +0200 wenzelm tex_source: Buffer.write;
Thu, 07 Oct 1999 11:34:46 +0200 berghofe Exported function get_info.
Wed, 06 Oct 1999 18:12:48 +0200 wenzelm Latex.token;
Wed, 06 Oct 1999 00:35:05 +0200 wenzelm accomodate markup commands;
Tue, 05 Oct 1999 15:34:27 +0200 wenzelm include browser_info stuff;
Sun, 03 Oct 1999 15:54:25 +0200 wenzelm improved theory_source presentation (hook);
Tue, 09 Mar 1999 12:13:11 +0100 wenzelm still fake, passes BrowserInfo;
Thu, 11 Feb 1999 21:18:19 +0100 wenzelm init, finish;
Wed, 03 Feb 1999 17:23:04 +0100 wenzelm Theory presentation (fake implementation);
less more (0) tip