| Sun, 07 Oct 2007 21:19:31 +0200 | wenzelm | modernized specifications; | changeset | files |
| Sun, 07 Oct 2007 15:49:25 +0200 | wenzelm | replaced some 'translations' by 'abbreviation'; | changeset | files |
| Sun, 07 Oct 2007 13:57:05 +0200 | wenzelm | * Basic Isabelle mode for jEdit. | changeset | files |
| Sun, 07 Oct 2007 13:52:16 +0200 | wenzelm | tuned generated comment; | changeset | files |
| Sun, 07 Oct 2007 13:48:06 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 07 Oct 2007 13:41:31 +0200 | wenzelm | Basic Isabelle mode for jEdit -- http://www.jedit.org/ | changeset | files |
| Sun, 07 Oct 2007 13:32:17 +0200 | wenzelm | isabelle mode for jEdit; | changeset | files |
| Sun, 07 Oct 2007 13:32:16 +0200 | wenzelm | added target tool specification; | changeset | files |
| Sun, 07 Oct 2007 13:32:15 +0200 | wenzelm | added target tool specification; | changeset | files |
| Sun, 07 Oct 2007 13:32:14 +0200 | wenzelm | emacs vs. jedit; | changeset | files |
| Sat, 06 Oct 2007 22:31:57 +0200 | wenzelm | some updates; | changeset | files |
| Sat, 06 Oct 2007 22:31:57 +0200 | wenzelm | removed obsolete write_keywords; | changeset | files |
| Sat, 06 Oct 2007 22:07:19 +0200 | wenzelm | Dummy session with outer syntax keyword initialization. | changeset | files |
| Sat, 06 Oct 2007 22:07:18 +0200 | wenzelm | added Pure-ProofGeneral target (dummy session with outer syntax keyword initialization); | changeset | files |
| Sat, 06 Oct 2007 22:07:17 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 06 Oct 2007 22:07:16 +0200 | wenzelm | use isatool keywords -- generate from logs instead of session images; | changeset | files |
| Sat, 06 Oct 2007 22:07:15 +0200 | wenzelm | removed duplicate target; | changeset | files |
| Sat, 06 Oct 2007 22:06:11 +0200 | wenzelm | updated; | changeset | files |
| Sat, 06 Oct 2007 21:25:58 +0200 | wenzelm | generate outer syntax keyword files from session logs; | changeset | files |
| Sat, 06 Oct 2007 21:21:45 +0200 | wenzelm | export init_outer_syntax; | changeset | files |
| Sat, 06 Oct 2007 17:53:45 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 06 Oct 2007 17:46:52 +0200 | wenzelm | report on keyword/command declarations; | changeset | files |
| Sat, 06 Oct 2007 17:46:51 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 06 Oct 2007 17:46:49 +0200 | wenzelm | added keyword_decl, command_decl; | changeset | files |
| Sat, 06 Oct 2007 16:50:09 +0200 | wenzelm | added class_expr; | changeset | files |
| Sat, 06 Oct 2007 16:50:08 +0200 | wenzelm | simplified interfaces for outer syntax; | changeset | files |
| Sat, 06 Oct 2007 16:50:04 +0200 | wenzelm | simplified interfaces for outer syntax; | changeset | files |
| Sat, 06 Oct 2007 16:41:22 +0200 | wenzelm | updated; | changeset | files |
| Fri, 05 Oct 2007 23:04:17 +0200 | wenzelm | (co)induct: polymorhic taking''; | changeset | files |
| Fri, 05 Oct 2007 23:04:16 +0200 | wenzelm | added burrow_options; | changeset | files |