| Mon, 11 Aug 2008 18:37:49 +0200 | wenzelm | renamed Markup.class to Markup.tclass, to avoid potential conflicts with spacial meaning in markup languages (e.g. HTML); | file | diff | annotate |
| Sun, 10 Aug 2008 12:38:22 +0200 | wenzelm | added name property operation; | file | diff | annotate |
| Sat, 09 Aug 2008 12:28:09 +0200 | wenzelm | added literal; | file | diff | annotate |
| Fri, 08 Aug 2008 19:28:59 +0200 | wenzelm | added offset/end_offset; | file | diff | annotate |
| Wed, 06 Aug 2008 00:10:08 +0200 | wenzelm | added position_properties'; | file | diff | annotate |
| Tue, 05 Aug 2008 19:29:02 +0200 | wenzelm | added token; | file | diff | annotate |
| Tue, 05 Aug 2008 13:31:36 +0200 | wenzelm | removed axiom; | file | diff | annotate |
| Mon, 04 Aug 2008 22:55:04 +0200 | wenzelm | added end_line, end_column properties; | file | diff | annotate |
| Sun, 20 Jul 2008 23:06:53 +0200 | wenzelm | renamed command span markup; | file | diff | annotate |
| Tue, 15 Jul 2008 23:36:26 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 15 Jul 2008 15:46:41 +0200 | wenzelm | support for command status; | file | diff | annotate |
| Thu, 10 Jul 2008 17:26:22 +0200 | wenzelm | added prompt markup; | file | diff | annotate |
| Fri, 23 May 2008 21:18:47 +0200 | wenzelm | added theory_nameN; | file | diff | annotate |
| Thu, 17 Apr 2008 16:30:48 +0200 | wenzelm | added markup for fixed variables (local constants); | file | diff | annotate |
| Tue, 11 Mar 2008 22:31:07 +0100 | wenzelm | added location; | file | diff | annotate |