| Wed, 21 Jan 2009 16:47:03 +0100 |
haftmann |
wrecked old locale package and related modules
|
file |
diff |
annotate
|
| Sun, 18 Jan 2009 20:06:51 +0100 |
wenzelm |
Scala wrapper for interactive Isar documents;
|
file |
diff |
annotate
|
| Tue, 13 Jan 2009 13:47:35 +0100 |
wenzelm |
added Isar/isar_document.ML: Interactive Isar documents.
|
file |
diff |
annotate
|
| Sun, 11 Jan 2009 20:40:09 +0100 |
wenzelm |
added outer_keyword.scala: Isar command keyword classification;
|
file |
diff |
annotate
|
| Mon, 05 Jan 2009 15:55:04 +0100 |
haftmann |
locale -> old_locale, new_locale -> locale
|
file |
diff |
annotate
|
| Mon, 05 Jan 2009 15:36:24 +0100 |
haftmann |
rearranged target theories
|
file |
diff |
annotate
|
| Sat, 03 Jan 2009 08:39:54 +0100 |
haftmann |
merged
|
file |
diff |
annotate
|
| Sat, 03 Jan 2009 08:36:20 +0100 |
haftmann |
added binding.ML
|
file |
diff |
annotate
|
| Fri, 02 Jan 2009 16:21:47 +0100 |
wenzelm |
renamed ThyEdit (in thy_edit.ML) to ThySyntax (in thy_syntax.ML);
|
file |
diff |
annotate
|
| Fri, 02 Jan 2009 15:44:32 +0100 |
wenzelm |
added Isar/value_parse.ML: Outer syntax parsers for basic ML values.
|
file |
diff |
annotate
|
| Wed, 31 Dec 2008 15:30:10 +0100 |
wenzelm |
moved term order operations to structure TermOrd (cf. Pure/term_ord.ML);
|
file |
diff |
annotate
|
| Wed, 31 Dec 2008 00:01:51 +0100 |
wenzelm |
added old_term.ML;
|
file |
diff |
annotate
|
| Tue, 30 Dec 2008 11:10:01 +0100 |
ballarin |
Merged.
|
file |
diff |
annotate
|
| Wed, 10 Dec 2008 17:18:12 +0100 |
ballarin |
Missing dependency
|
file |
diff |
annotate
|
| Mon, 29 Dec 2008 20:06:31 +0100 |
wenzelm |
Swing utilities.
|
file |
diff |
annotate
|
| Mon, 29 Dec 2008 13:57:37 +0100 |
wenzelm |
Generic event bus.
|
file |
diff |
annotate
|
| Tue, 16 Dec 2008 12:13:53 +0100 |
wenzelm |
removed old scheduler;
|
file |
diff |
annotate
|
| Mon, 15 Dec 2008 09:58:45 +0100 |
haftmann |
moved value.ML to src/Tools
|
file |
diff |
annotate
|
| Wed, 03 Dec 2008 15:58:44 +0100 |
haftmann |
made repository layout more coherent with logical distribution structure; stripped some $Id$s
|
file |
diff |
annotate
|
| Fri, 14 Nov 2008 16:49:52 +0100 |
ballarin |
Initial part of locale reimplementation.
|
file |
diff |
annotate
|
| Mon, 27 Oct 2008 16:23:54 +0100 |
ballarin |
New-style locale expressions with instantiation (new file expression.ML).
|
file |
diff |
annotate
|
| Thu, 23 Oct 2008 14:22:16 +0200 |
wenzelm |
renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
|
file |
diff |
annotate
|
| Thu, 16 Oct 2008 23:56:57 +0200 |
wenzelm |
added dep for Concurrent/ROOT.ML;
|
file |
diff |
annotate
|
| Mon, 13 Oct 2008 15:48:36 +0200 |
wenzelm |
added Concurrent/synchronized.ML;
|
file |
diff |
annotate
|
| Thu, 09 Oct 2008 21:34:05 +0200 |
wenzelm |
extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
|
file |
diff |
annotate
|
| Thu, 09 Oct 2008 20:53:12 +0200 |
wenzelm |
added Concurrent/par_list_dummy.ML;
|
file |
diff |
annotate
|
| Sat, 04 Oct 2008 16:05:09 +0200 |
wenzelm |
replaced ISATOOL by ISABELLE_TOOL;
|
file |
diff |
annotate
|
| Sat, 04 Oct 2008 14:29:40 +0200 |
wenzelm |
added Thy/thy_header.scala;
|
file |
diff |
annotate
|
| Mon, 29 Sep 2008 14:41:22 +0200 |
wenzelm |
added context_position.ML;
|
file |
diff |
annotate
|
| Mon, 22 Sep 2008 15:26:11 +0200 |
wenzelm |
removed deriv.ML which is now incorporated into thm.ML;
|
file |
diff |
annotate
|
| Fri, 19 Sep 2008 21:00:46 +0200 |
wenzelm |
added Isar/isar.scala;
|
file |
diff |
annotate
|
| Thu, 18 Sep 2008 22:30:17 +0200 |
wenzelm |
jar: include sources;
|
file |
diff |
annotate
|
| Thu, 18 Sep 2008 14:06:56 +0200 |
wenzelm |
added deriv.ML: Abstract derivations based on raw proof terms.
|
file |
diff |
annotate
|
| Wed, 17 Sep 2008 21:27:20 +0200 |
wenzelm |
added ML-Systems/ml_name_space.ML;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 16:13:31 +0200 |
haftmann |
added quickcheck stub
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 15:37:30 +0200 |
wenzelm |
added Concurrent/simple_thread.ML;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 09:21:22 +0200 |
haftmann |
generic value command
|
file |
diff |
annotate
|
| Thu, 11 Sep 2008 13:23:57 +0200 |
wenzelm |
added Concurrent/par_list.ML;
|
file |
diff |
annotate
|
| Mon, 08 Sep 2008 16:08:13 +0200 |
wenzelm |
added Concurrent/task_queue.ML;
|
file |
diff |
annotate
|
| Sun, 07 Sep 2008 22:19:31 +0200 |
wenzelm |
added Concurrent/future.ML;
|
file |
diff |
annotate
|
| Sun, 07 Sep 2008 17:46:37 +0200 |
wenzelm |
added ML-Systems/thread_dummy.ML;
|
file |
diff |
annotate
|
| Thu, 04 Sep 2008 19:47:13 +0200 |
wenzelm |
fixed deps: no Concurrent/receiver.ML yet;
|
file |
diff |
annotate
|
| Thu, 04 Sep 2008 19:45:12 +0200 |
wenzelm |
added Concurrent/mailbox.ML;
|
file |
diff |
annotate
|
| Thu, 04 Sep 2008 16:43:50 +0200 |
wenzelm |
added General/queue.ML;
|
file |
diff |
annotate
|
| Thu, 04 Sep 2008 16:03:41 +0200 |
wenzelm |
added Concurrent/schedule.ML;
|
file |
diff |
annotate
|
| Thu, 28 Aug 2008 00:33:04 +0200 |
wenzelm |
removed obsolete ProofGeneral/pgml_isabelle.ML;
|
file |
diff |
annotate
|
| Wed, 27 Aug 2008 11:49:14 +0200 |
wenzelm |
added General/properties.ML;
|
file |
diff |
annotate
|
| Tue, 26 Aug 2008 12:20:52 +0200 |
wenzelm |
purge classes after compilation;
|
file |
diff |
annotate
|
| Sat, 23 Aug 2008 23:07:34 +0200 |
wenzelm |
added General/position.scala;
|
file |
diff |
annotate
|
| Sat, 23 Aug 2008 19:42:11 +0200 |
wenzelm |
added General/markup.scala;
|
file |
diff |
annotate
|
| Sat, 23 Aug 2008 17:22:51 +0200 |
wenzelm |
added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala;
|
file |
diff |
annotate
|
| Sun, 17 Aug 2008 21:11:04 +0200 |
wenzelm |
added General/xml.scala, General/yxml.scala;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 23:28:38 +0200 |
wenzelm |
jar: invoke scaladoc;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 21:23:01 +0200 |
wenzelm |
jar target: removed jvmpath -- does not work on Linux!?
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 16:43:03 +0200 |
wenzelm |
jar target: jvmpath;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 15:57:05 +0200 |
wenzelm |
added Tools/isabelle_system.scala;
|
file |
diff |
annotate
|
| Fri, 15 Aug 2008 21:56:07 +0200 |
wenzelm |
basic setup for Scala material;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2008 13:44:33 +0200 |
wenzelm |
added General/symbol_pos.ML;
|
file |
diff |
annotate
|
| Mon, 14 Jul 2008 19:57:14 +0200 |
wenzelm |
removed obsolete Pure/General/history.ML;
|
file |
diff |
annotate
|
| Mon, 14 Jul 2008 11:19:36 +0200 |
wenzelm |
removed Isar/proof_history.ML;
|
file |
diff |
annotate
|