| Fri, 03 Feb 2017 23:24:45 +0100 | wenzelm | proper background certificate from make_context, which can be a super-theory of the direct join (amending d07464875dd4); | changeset | files |
| Fri, 03 Feb 2017 16:36:44 +0100 | wenzelm | misc tuning; | changeset | files |
| Thu, 02 Feb 2017 09:55:16 -0500 | hoelzl | move mono_neutral_cong from AFP/Deep_Learning/PP_Auxiliary | changeset | files |
| Thu, 02 Feb 2017 14:42:06 +0100 | blanchet | added veriT preprocessing proof reconstruction example | changeset | files |
| Thu, 02 Feb 2017 09:32:11 +0100 | nipkow | tuned proof | changeset | files |
| Wed, 01 Feb 2017 21:09:47 +0100 | nipkow | renaming | changeset | files |
| Wed, 01 Feb 2017 17:36:24 +0100 | nipkow | added is_empty | changeset | files |
| Mon, 30 Jan 2017 16:47:20 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Wed, 01 Feb 2017 13:50:20 +0100 | nipkow | tuned | changeset | files |
| Wed, 01 Feb 2017 07:52:11 +0100 | nipkow | merged | changeset | files |
| Wed, 01 Feb 2017 07:52:03 +0100 | nipkow | tuned | changeset | files |
| Tue, 31 Jan 2017 17:36:51 +0100 | eberlm | Merged | changeset | files |
| Tue, 31 Jan 2017 15:52:47 +0100 | eberlm | Simplified Gamma_Function | changeset | files |
| Tue, 31 Jan 2017 17:26:15 +0100 | nipkow | proper priority queue spec | changeset | files |
| Mon, 30 Jan 2017 16:10:52 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Sun, 29 Jan 2017 17:27:02 +0100 | wenzelm | added inj_def (redundant, analogous to surj_def, bij_def); | changeset | files |
| Sun, 29 Jan 2017 13:58:03 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sun, 29 Jan 2017 13:43:17 +0100 | wenzelm | tuned proof; | changeset | files |
| Sun, 29 Jan 2017 13:28:45 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Sun, 29 Jan 2017 11:59:48 +0100 | berghofe | Added new / improved tactics for fields and rings | changeset | files |
| Sun, 29 Jan 2017 11:49:48 +0100 | berghofe | Corrected type of dummy pattern | changeset | files |
| Sat, 28 Jan 2017 15:12:19 +0100 | nipkow | split balance into two, clearer etc | changeset | files |
| Fri, 27 Jan 2017 22:27:03 +0100 | haftmann | ML antiquotation for generated computations | changeset | files |
| Thu, 26 Jan 2017 16:25:32 +0100 | haftmann | tuned | changeset | files |
| Thu, 26 Jan 2017 16:06:19 +0100 | haftmann | tuned structure and terminology | changeset | files |
| Thu, 26 Jan 2017 16:06:18 +0100 | haftmann | tuned scope of lazy computation | changeset | files |
| Thu, 26 Jan 2017 16:06:18 +0100 | haftmann | tuned data structure | changeset | files |
| Thu, 26 Jan 2017 16:06:18 +0100 | haftmann | dropped dead code | changeset | files |
| Fri, 27 Jan 2017 17:35:08 +0100 | nipkow | tuned name | changeset | files |
| Fri, 27 Jan 2017 17:28:10 +0100 | nipkow | removed unclear clause; slower but clearer | changeset | files |
| Fri, 27 Jan 2017 12:32:49 +0100 | nipkow | removed contribution by Daniel Stuewe, too detailed. | changeset | files |
| Thu, 26 Jan 2017 17:51:13 +0100 | nipkow | added concise log height bound lemma | changeset | files |
| Wed, 25 Jan 2017 23:09:06 +0100 | wenzelm | updated package; | changeset | files |
| Wed, 25 Jan 2017 23:08:29 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 25 Jan 2017 18:26:35 +0100 | nipkow | tuned | changeset | files |
| Tue, 24 Jan 2017 22:29:44 +0100 | haftmann | dropped dead code | changeset | files |
| Tue, 24 Jan 2017 22:29:43 +0100 | haftmann | ensure no duplicates after preprocessing | changeset | files |
| Tue, 24 Jan 2017 22:29:42 +0100 | haftmann | reject polymorphic result types; | changeset | files |
| Tue, 24 Jan 2017 22:29:36 +0100 | haftmann | explicit a-priori detection of unsuitable terms for computations | changeset | files |
| Tue, 24 Jan 2017 09:39:21 +0100 | wenzelm | more options; | changeset | files |
| Mon, 23 Jan 2017 22:37:57 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 22 Jan 2017 21:39:16 +0100 | haftmann | experimental computations: use arbitrary generated code for RHSs, not just constants | changeset | files |
| Mon, 23 Jan 2017 17:35:37 +0100 | traytel | tuned documentation | changeset | files |
| Sun, 22 Jan 2017 19:37:06 +0100 | wenzelm | merged | changeset | files |
| Sun, 22 Jan 2017 19:22:33 +0100 | wenzelm | updated to jdk-8u121; | changeset | files |
| Sun, 22 Jan 2017 16:45:58 +0100 | wenzelm | clarified owner; | changeset | files |
| Sun, 22 Jan 2017 16:15:08 +0100 | wenzelm | insist in proper GNU tar, to avoid subtle semantic differences; | changeset | files |
| Sun, 22 Jan 2017 15:02:06 +0100 | wenzelm | hardlink within JVM; | changeset | files |
| Sun, 22 Jan 2017 13:58:26 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 22 Jan 2017 13:11:38 +0100 | wenzelm | clarified operation: include dirs as well; | changeset | files |
| Sun, 22 Jan 2017 12:57:52 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 22 Jan 2017 12:46:19 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 22 Jan 2017 00:30:10 +0100 | wenzelm | build_jdk in Scala; | changeset | files |
| Sat, 21 Jan 2017 20:59:47 +0100 | haftmann | corrected static scope: multi-argument composition does not apply partially | changeset | files |
| Fri, 20 Jan 2017 21:05:11 +0100 | boehmes | less complex rewriting of Argo expressions: select candidate rewrite rules by analyzing only on the kind of the head expression, then select the applicable rewrite rule using ML pattern matching; keep all normalization code in a single place: modules of decision procedures focus on their core aspects; more normalization for non-linear arithmetic | changeset | files |
| Fri, 20 Jan 2017 17:22:54 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 20 Jan 2017 12:44:44 +0100 | nipkow | added postorder | changeset | files |
| Fri, 20 Jan 2017 08:49:06 +0100 | nipkow | tuned | changeset | files |
| Thu, 19 Jan 2017 17:24:05 +0100 | nipkow | int version slicker | changeset | files |
| Thu, 19 Jan 2017 12:39:46 +0100 | nipkow | tuned | changeset | files |
| Wed, 18 Jan 2017 21:03:39 +0100 | nipkow | tuned | changeset | files |
| Wed, 18 Jan 2017 17:56:52 +0100 | wenzelm | clarified theory name; | changeset | files |
| Wed, 18 Jan 2017 15:57:00 +0000 | paulson | New material from Bertrand's postulate (file Bertrand_Discrete_Sqrt), and tidied an old messy proof | changeset | files |
| Tue, 17 Jan 2017 18:03:59 +0100 | nipkow | tuned | changeset | files |
| Tue, 17 Jan 2017 16:11:47 +0100 | wenzelm | removed some old ASCII syntax; | changeset | files |
| Tue, 17 Jan 2017 16:11:24 +0100 | wenzelm | prefer context groups; | changeset | files |
| Tue, 17 Jan 2017 16:01:52 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Tue, 17 Jan 2017 15:40:33 +0100 | wenzelm | prefer context groups; | changeset | files |
| Tue, 17 Jan 2017 14:56:47 +0100 | wenzelm | more symbols; | changeset | files |
| Tue, 17 Jan 2017 14:56:15 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Tue, 17 Jan 2017 13:59:10 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
| Tue, 17 Jan 2017 11:26:21 +0100 | wenzelm | more symbols via abbrevs; | changeset | files |
| Mon, 16 Jan 2017 21:53:44 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 16 Jan 2017 21:33:09 +0100 | wenzelm | clarified classical rules; | changeset | files |
| Mon, 16 Jan 2017 21:20:30 +0100 | wenzelm | misc tuning and updates according to Curry-Club Dec-2016; | changeset | files |
| Mon, 16 Jan 2017 16:12:29 +0100 | wenzelm | added option -n, e.g. useful to generate Dockerfile only; | changeset | files |
| Mon, 16 Jan 2017 16:00:34 +0100 | wenzelm | support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub); | changeset | files |
| Mon, 16 Jan 2017 15:50:54 +0100 | wenzelm | tuned -- nicer generated bash source; | changeset | files |
| Sun, 15 Jan 2017 16:47:42 +0100 | wenzelm | afford approx. 10MB for curl, e.g. required for "isabelle components"; | changeset | files |
| Sun, 15 Jan 2017 16:42:37 +0100 | wenzelm | updated to jvm-1.8; | changeset | files |
| Sun, 15 Jan 2017 16:30:49 +0100 | wenzelm | uniform use of ISABELLE_SCALAC_OPTIONS for scalac, notably for -Xmax-classfile-name on encrypted or docker file-systems; | changeset | files |
| Sun, 15 Jan 2017 15:51:33 +0100 | wenzelm | clarified settings; | changeset | files |
| Sun, 15 Jan 2017 15:50:04 +0100 | wenzelm | clarified signature: packages may be accessed in Isabelle/Scala; | changeset | files |
| Sun, 15 Jan 2017 15:48:26 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Sun, 15 Jan 2017 12:59:40 +0100 | wenzelm | clarified packages (for z3); | changeset | files |
| Sun, 15 Jan 2017 12:46:09 +0100 | wenzelm | proper tag syntax; | changeset | files |
| Sun, 15 Jan 2017 12:19:48 +0100 | wenzelm | clarified packages; | changeset | files |
| Sat, 14 Jan 2017 22:28:51 +0100 | wenzelm | clarified packages; | changeset | files |
| Sat, 14 Jan 2017 21:48:23 +0100 | wenzelm | more options; | changeset | files |
| Sat, 14 Jan 2017 21:29:21 +0100 | wenzelm | do avoid suspicious Unicode; | changeset | files |
| Sat, 14 Jan 2017 20:39:16 +0100 | wenzelm | more standard header; | changeset | files |
| Sat, 14 Jan 2017 20:33:55 +0100 | wenzelm | build docker image from Isabelle application bundle for Linux; | changeset | files |
| Sat, 14 Jan 2017 20:22:15 +0100 | wenzelm | tuned message; | changeset | files |
| Fri, 13 Jan 2017 17:45:51 +0100 | eberlm | Added Circle_Area to HOL-Analysis examples | changeset | files |
| Fri, 13 Jan 2017 11:41:50 +0100 | nipkow | tuned/minimized | changeset | files |
| Thu, 12 Jan 2017 15:54:13 +0100 | blanchet | added lemma | changeset | files |
| Thu, 12 Jan 2017 12:32:32 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 12 Jan 2017 12:29:12 +0100 | wenzelm | more robust: delay switches thread context from timer to GUI and may get out of sync with revoke operation; | changeset | files |
| Thu, 12 Jan 2017 11:20:40 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 12 Jan 2017 11:17:05 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 11 Jan 2017 22:30:11 +0100 | haftmann | improved chart plotting | changeset | files |
| Wed, 11 Jan 2017 22:08:20 +0100 | haftmann | augmented user aliasses | changeset | files |
| Wed, 11 Jan 2017 21:32:46 +0100 | haftmann | proper treatment of utf-8 | changeset | files |
| Wed, 11 Jan 2017 20:15:17 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 11 Jan 2017 20:01:55 +0100 | wenzelm | support for semantic completion; | changeset | files |
| Wed, 11 Jan 2017 16:43:31 +0100 | blanchet | generalized types in lemmas | changeset | files |
| Wed, 11 Jan 2017 16:28:48 +0100 | wenzelm | updated package; | changeset | files |
| Wed, 11 Jan 2017 16:25:15 +0100 | wenzelm | enable vscode_unicode_symbols by default, despite asymmetry of input and output; | changeset | files |
| Wed, 11 Jan 2017 16:11:39 +0100 | wenzelm | more documentation; | changeset | files |
| Wed, 11 Jan 2017 16:01:19 +0100 | wenzelm | generated configuration for Prettify Symbols Mode; | changeset | files |
| Wed, 11 Jan 2017 14:48:07 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 11 Jan 2017 14:22:57 +0100 | wenzelm | clarified text output wrt. symbols; | changeset | files |
| Tue, 10 Jan 2017 17:24:15 +0100 | wenzelm | merged | changeset | files |
| Tue, 10 Jan 2017 17:13:01 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 10 Jan 2017 16:53:05 +0100 | wenzelm | support "purge" operation on document model; | changeset | files |
| Tue, 10 Jan 2017 16:09:04 +0100 | wenzelm | proper template; | changeset | files |
| Tue, 10 Jan 2017 16:03:50 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 10 Jan 2017 09:47:23 +0100 | wenzelm | accomodate very big file_models and changed_files; | changeset | files |
| Tue, 10 Jan 2017 09:40:26 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 10 Jan 2017 14:29:40 +0100 | nipkow | tuned | changeset | files |
| Tue, 10 Jan 2017 11:37:18 +0100 | haftmann | separate instance for semidom_modulo | changeset | files |
| Mon, 09 Jan 2017 23:00:11 +0100 | haftmann | generalized definition | changeset | files |
| Mon, 09 Jan 2017 23:27:10 +0100 | wenzelm | tuned output; | changeset | files |
| Mon, 09 Jan 2017 22:54:48 +0100 | wenzelm | update File_Model based on file-system events; | changeset | files |
| Mon, 09 Jan 2017 21:51:39 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 09 Jan 2017 20:47:45 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 09 Jan 2017 20:31:00 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 09 Jan 2017 20:26:59 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 09 Jan 2017 19:34:16 +0100 | nipkow | merged | changeset | files |
| Mon, 09 Jan 2017 19:34:02 +0100 | nipkow | fix problems because of "surj" input abbreviation; tuned | changeset | files |
| Mon, 09 Jan 2017 19:32:40 +0100 | nipkow | hide global sum | changeset | files |
| Mon, 09 Jan 2017 19:13:49 +0100 | haftmann | gcd/lcm on finite sets | changeset | files |
| Mon, 09 Jan 2017 18:53:20 +0100 | haftmann | moved some lemmas to appropriate places | changeset | files |
| Mon, 09 Jan 2017 18:53:06 +0100 | haftmann | slightly generalized type class hierarchy concerning unit factors, to allow for lean polynomial normalization | changeset | files |
| Mon, 09 Jan 2017 15:54:48 +0000 | paulson | fixed LaTeX problems | changeset | files |
| Mon, 09 Jan 2017 14:40:31 +0000 | paulson | Jordan Curve Theorem | changeset | files |
| Mon, 09 Jan 2017 14:00:13 +0000 | paulson | Advanced topology | changeset | files |
| Mon, 09 Jan 2017 00:08:18 +0100 | wenzelm | NEWS for VSCode; | changeset | files |
| Sun, 08 Jan 2017 19:35:14 +0100 | wenzelm | merged | changeset | files |
| Sun, 08 Jan 2017 19:34:44 +0100 | wenzelm | more documentation; | changeset | files |
| Sun, 08 Jan 2017 19:08:26 +0100 | wenzelm | added node_name(String): imitate jEdit buffer operations; | changeset | files |
| Sun, 08 Jan 2017 17:53:44 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 08 Jan 2017 17:42:31 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 08 Jan 2017 17:36:00 +0100 | wenzelm | avoid immediate editor.flush on buffer events; | changeset | files |
| Sun, 08 Jan 2017 17:22:14 +0100 | wenzelm | refer to internal File_Model instead of external file; | changeset | files |
| Sun, 08 Jan 2017 17:10:42 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 08 Jan 2017 16:47:53 +0100 | wenzelm | resolve dependencies implicitly via File_Model, without jEdit Buffer_Model; | changeset | files |
| Sun, 08 Jan 2017 14:46:04 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 08 Jan 2017 13:08:17 +0100 | wenzelm | support for bibtex entries; | changeset | files |
| Sun, 08 Jan 2017 13:03:14 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 08 Jan 2017 12:31:45 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 08 Jan 2017 12:00:37 +0100 | wenzelm | more explocit Document_Model.Content; | changeset | files |
| Sun, 08 Jan 2017 11:41:18 +0100 | wenzelm | refer to bibtex entries via general Document_Model, instead of editor buffers; | changeset | files |
| Sun, 08 Jan 2017 10:56:33 +0100 | wenzelm | clarified modules; | changeset | files |
| Sat, 07 Jan 2017 21:32:00 +0100 | wenzelm | uniform Document.Model.node_edits (without void edits); | changeset | files |
| Sat, 07 Jan 2017 20:44:37 +0100 | wenzelm | clarified check_thy_reader: check node_name here; | changeset | files |
| Sat, 07 Jan 2017 20:37:48 +0100 | wenzelm | more uniform node_header (non-strict); | changeset | files |
| Sat, 07 Jan 2017 20:01:05 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 07 Jan 2017 19:36:40 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 07 Jan 2017 17:32:11 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 07 Jan 2017 17:30:06 +0100 | wenzelm | clarified lazy text content; | changeset | files |
| Sat, 07 Jan 2017 16:16:41 +0100 | wenzelm | Line.Document consists of independently allocated strings; | changeset | files |
| Sat, 07 Jan 2017 15:25:01 +0100 | wenzelm | obsolete; | changeset | files |
| Sat, 07 Jan 2017 15:16:36 +0100 | wenzelm | clarified buffer events: exit model while loading; | changeset | files |
| Sat, 07 Jan 2017 14:34:53 +0100 | wenzelm | separate Buffer_Model vs. File_Model; | changeset | files |
| Sat, 07 Jan 2017 11:22:13 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 07 Jan 2017 09:42:57 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 06 Jan 2017 23:25:18 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 06 Jan 2017 13:27:18 +0100 | wenzelm | manage buffer models as explicit global state; | changeset | files |
| Fri, 06 Jan 2017 11:58:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 07 Jan 2017 09:56:33 +0100 | haftmann | obsolete | changeset | files |
| Thu, 05 Jan 2017 22:57:59 +0100 | wenzelm | more informative error for spurious crash; | changeset | files |
| Thu, 05 Jan 2017 22:38:06 +0100 | wenzelm | merged | changeset | files |
| Thu, 05 Jan 2017 22:37:52 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 05 Jan 2017 22:28:22 +0100 | wenzelm | dummy File_Watcher for Windows (spurious crashes seen on Windows 7); | changeset | files |
| Thu, 05 Jan 2017 21:34:04 +0100 | wenzelm | more robust treatment of logical lines; | changeset | files |
| Thu, 05 Jan 2017 16:46:01 +0100 | wenzelm | updated package; | changeset | files |
| Thu, 05 Jan 2017 16:40:11 +0100 | wenzelm | proper name for recursive grammar; | changeset | files |
| Thu, 05 Jan 2017 16:23:51 +0100 | wenzelm | emit Commands_Changed for blobs as well, e.g. relevant for isabelle.vscode.Server.prover_output; | changeset | files |
| Thu, 05 Jan 2017 16:16:18 +0100 | wenzelm | suppress empty results; | changeset | files |
| Thu, 05 Jan 2017 15:32:32 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 05 Jan 2017 15:15:51 +0100 | wenzelm | manage document blobs as well; | changeset | files |
| Thu, 05 Jan 2017 12:23:25 +0100 | wenzelm | misc tuning and clarification; | changeset | files |
| Thu, 05 Jan 2017 10:49:47 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 05 Jan 2017 10:10:51 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 05 Jan 2017 09:55:26 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 05 Jan 2017 17:11:21 +0100 | haftmann | tuned structure | changeset | files |
| Thu, 05 Jan 2017 14:49:21 +0100 | haftmann | lead_coeff is more appropriate as abbreviation | changeset | files |
| Thu, 05 Jan 2017 09:24:07 +0100 | haftmann | more lemmas; | changeset | files |
| Thu, 05 Jan 2017 17:10:13 +0000 | paulson | covering space lift lemmas | changeset | files |
| Thu, 05 Jan 2017 16:37:49 +0000 | paulson | facts about ANRs, ENRs, covering spaces | changeset | files |
| Thu, 05 Jan 2017 16:03:23 +0000 | paulson | New theory of arcwise connected sets and other new material | changeset | files |
| Thu, 05 Jan 2017 15:03:37 +0000 | paulson | connectedness, circles not simply connected , punctured universe | changeset | files |
| Thu, 05 Jan 2017 14:18:24 +0000 | paulson | New material about path connectedness, etc. | changeset | files |
| Wed, 04 Jan 2017 21:28:33 +0100 | haftmann | tuned NEWS | changeset | files |
| Wed, 04 Jan 2017 21:28:29 +0100 | haftmann | reworked to provide auxiliary operations Euclidean_Algorithm.* to instantiate gcd etc. for euclidean rings | changeset | files |
| Wed, 04 Jan 2017 21:28:29 +0100 | haftmann | moved euclidean ring to HOL | changeset | files |
| Wed, 04 Jan 2017 21:28:28 +0100 | haftmann | reshaped euclidean semiring into hierarchy of euclidean semirings culminating in uniquely determined euclidean divion | changeset | files |
| Wed, 04 Jan 2017 22:57:39 +0100 | wenzelm | proper registration of implicitly loaded files; | changeset | files |
| Wed, 04 Jan 2017 22:31:40 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 04 Jan 2017 21:29:19 +0100 | wenzelm | merged | changeset | files |
| Wed, 04 Jan 2017 21:26:56 +0100 | wenzelm | more file types; | changeset | files |
| Wed, 04 Jan 2017 21:20:37 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 04 Jan 2017 20:52:06 +0100 | wenzelm | proper interpretation of Resources.source_file as platform file; | changeset | files |
| Wed, 04 Jan 2017 19:42:08 +0100 | wenzelm | clarified Document.Node.Name (again): canonical platform file; | changeset | files |
| Wed, 04 Jan 2017 15:20:54 +0100 | wenzelm | Windows UNC path is plain file; | changeset | files |
| Wed, 04 Jan 2017 12:03:45 +0100 | wenzelm | clarified file URIs; | changeset | files |
| Wed, 04 Jan 2017 16:33:58 +0000 | paulson | Merge | changeset | files |
| Wed, 04 Jan 2017 16:18:50 +0000 | paulson | Many new theorems, and more tidying | changeset | files |
| Wed, 04 Jan 2017 14:26:19 +0100 | nipkow | merged | changeset | files |
| Wed, 04 Jan 2017 14:26:08 +0100 | nipkow | tuned | changeset | files |
| Tue, 03 Jan 2017 23:21:09 +0100 | wenzelm | more robust, notably on Windows; | changeset | files |
| Tue, 03 Jan 2017 22:07:14 +0100 | wenzelm | updated package; | changeset | files |
| Tue, 03 Jan 2017 21:03:11 +0100 | wenzelm | merged | changeset | files |
| Tue, 03 Jan 2017 21:02:46 +0100 | wenzelm | support VSCode DocumentHighlights; | changeset | files |
| Tue, 03 Jan 2017 19:22:17 +0100 | wenzelm | clarified file URLs, notably for Windows UNC paths; | changeset | files |
| Tue, 03 Jan 2017 17:33:08 +0100 | wenzelm | more language support; | changeset | files |
| Tue, 03 Jan 2017 17:24:41 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 03 Jan 2017 17:21:37 +0100 | wenzelm | proper line_offset; | changeset | files |
| Tue, 03 Jan 2017 15:21:32 +0100 | wenzelm | clarified message severity, based on empirical observation of VSCode 1.8.1; | changeset | files |
| Tue, 03 Jan 2017 15:07:50 +0100 | wenzelm | avoid escape of '/' in JSONFormat.quoteString; | changeset | files |
| Tue, 03 Jan 2017 14:45:50 +0100 | wenzelm | more liberal drive letter, for the sake of file:// URLs; | changeset | files |
| Tue, 03 Jan 2017 14:17:03 +0100 | wenzelm | clarified master_dir: file-URL; | changeset | files |
| Tue, 03 Jan 2017 16:48:49 +0000 | paulson | A few new lemmas and needed adaptations | changeset | files |
| Mon, 02 Jan 2017 18:08:04 +0100 | wenzelm | updated package; | changeset | files |
| Mon, 02 Jan 2017 17:41:00 +0100 | wenzelm | avoid hardwired options: use isabelle.args settings instead; | changeset | files |
| Mon, 02 Jan 2017 17:35:51 +0100 | wenzelm | support for Windows; | changeset | files |
| Mon, 02 Jan 2017 15:53:41 +0100 | wenzelm | proper bootstrap name, e.g. for Pure.thy; | changeset | files |
| Mon, 02 Jan 2017 15:00:55 +0100 | wenzelm | more robust startup; | changeset | files |
| Mon, 02 Jan 2017 14:44:14 +0100 | wenzelm | more specific isabelle-ml language support; | changeset | files |
| Mon, 02 Jan 2017 14:37:58 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 02 Jan 2017 14:25:46 +0100 | wenzelm | proper use of isabelle-ml; | changeset | files |
| Mon, 02 Jan 2017 14:14:33 +0100 | wenzelm | grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist | changeset | files |
| Mon, 02 Jan 2017 11:42:15 +0100 | wenzelm | clarified multiple tooltips; | changeset | files |
| Mon, 02 Jan 2017 11:26:26 +0100 | wenzelm | proper content format; | changeset | files |
| Mon, 02 Jan 2017 10:59:46 +0100 | wenzelm | more syntax; | changeset | files |
| Mon, 02 Jan 2017 10:22:59 +0100 | wenzelm | more syntax; | changeset | files |
| Mon, 02 Jan 2017 09:41:25 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 02 Jan 2017 09:39:00 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 02 Jan 2017 09:38:06 +0100 | wenzelm | more keywords; | changeset | files |
| Mon, 02 Jan 2017 09:27:33 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 01 Jan 2017 23:56:36 +0100 | wenzelm | proper packaging; | changeset | files |
| Sun, 01 Jan 2017 23:30:18 +0100 | wenzelm | generate uuid; | changeset | files |
| Sun, 01 Jan 2017 23:19:34 +0100 | wenzelm | generate static TextMate grammar for VSCode editor; | changeset | files |
| Sun, 01 Jan 2017 23:08:39 +0100 | wenzelm | proper default; | changeset | files |
| Sun, 01 Jan 2017 21:26:26 +0100 | wenzelm | clarified file name; | changeset | files |
| Sun, 01 Jan 2017 20:24:19 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 01 Jan 2017 13:38:20 +0100 | wenzelm | more configuration; | changeset | files |
| Sun, 01 Jan 2017 13:15:50 +0100 | wenzelm | automatically build session image; | changeset | files |
| Sun, 01 Jan 2017 12:20:51 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 01 Jan 2017 12:10:21 +0100 | wenzelm | just one synchronized access to global state: works recursively on JVM; | changeset | files |
| Sun, 01 Jan 2017 11:47:27 +0100 | wenzelm | clarified modules; | changeset | files |
| Sun, 01 Jan 2017 11:38:29 +0100 | wenzelm | clarified file URI operations; | changeset | files |
| Sat, 31 Dec 2016 21:00:43 +0100 | wenzelm | more precise markup; | changeset | files |
| Sat, 31 Dec 2016 20:26:34 +0100 | wenzelm | automatically resolve dependencies from document models and file-system; | changeset | files |
| Sat, 31 Dec 2016 15:32:54 +0100 | wenzelm | clarified; | changeset | files |