Wed, 11 Oct 2006 08:57:47 +0200 added tex files to CVS
haftmann [Wed, 11 Oct 2006 08:57:47 +0200] rev 20967
added tex files to CVS
Wed, 11 Oct 2006 00:32:02 +0200 renamed body_context_node to presentation_context;
wenzelm [Wed, 11 Oct 2006 00:32:02 +0200] rev 20966
renamed body_context_node to presentation_context;
Wed, 11 Oct 2006 00:31:38 +0200 add_locale(_i): return actual result context;
wenzelm [Wed, 11 Oct 2006 00:31:38 +0200] rev 20965
add_locale(_i): return actual result context; cert_facts: allow qualified names;
Wed, 11 Oct 2006 00:27:39 +0200 class(_i): mimic Locale.add_locale(_i);
wenzelm [Wed, 11 Oct 2006 00:27:39 +0200] rev 20964
class(_i): mimic Locale.add_locale(_i); 'class': begin_local_theory;
Wed, 11 Oct 2006 00:27:38 +0200 added type global_theory -- theory or local_theory;
wenzelm [Wed, 11 Oct 2006 00:27:38 +0200] rev 20963
added type global_theory -- theory or local_theory; added begin/exit_local_theory; removed theory_context; renamed body_context_node to presentation_context; removed copy (checkpoint twice instead -- avoids unrelated theories);
Wed, 11 Oct 2006 00:27:37 +0200 added begin;
wenzelm [Wed, 11 Oct 2006 00:27:37 +0200] rev 20962
added begin;
Wed, 11 Oct 2006 00:27:35 +0200 added opt_begin;
wenzelm [Wed, 11 Oct 2006 00:27:35 +0200] rev 20961
added opt_begin;
Wed, 11 Oct 2006 00:27:34 +0200 added raw_theory(_result);
wenzelm [Wed, 11 Oct 2006 00:27:34 +0200] rev 20960
added raw_theory(_result); tuned;
Wed, 11 Oct 2006 00:27:32 +0200 Toplevel.end_proof;
wenzelm [Wed, 11 Oct 2006 00:27:32 +0200] rev 20959
Toplevel.end_proof;
Wed, 11 Oct 2006 00:27:31 +0200 'end': handle local theory;
wenzelm [Wed, 11 Oct 2006 00:27:31 +0200] rev 20958
'end': handle local theory; 'locale': begin local theory;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip