Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to jortho-1.0-2: added dictionary "en-CA", changed dictionary "en" to be the union of all dialects instead of intersection;
authorwenzelm
Tue, 15 Apr 2014 22:18:21 +0200
changeset 56596 40edc550667c
parent 56595 82be272f7916
child 56597 f4f561bf4b07
updated to jortho-1.0-2: added dictionary "en-CA", changed dictionary "en" to be the union of all dialects instead of intersection;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Tue Apr 15 21:13:20 2014 +0200
+++ b/Admin/components/components.sha1	Tue Apr 15 22:18:21 2014 +0200
@@ -42,6 +42,7 @@
 054c1300128f8abd0f46a3e92c756ccdb96ff2af  jedit_build-20140405.tar.gz
 0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa  jfreechart-1.0.14-1.tar.gz
 8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
+2155e0bdbd29cd3d2905454de2e7203b9661d239  jortho-1.0-2.tar.gz
 c8a19a36adf6cefa779d85f22ded2f4654e68ea5  jortho-1.0-1.tar.gz
 ffe179867cf5ffaabbb6bb096db9bdc0d7110065  jortho-1.0.tar.gz
 6c737137cc597fc920943783382e928ea79e3feb  kodkodi-1.2.16.tar.gz
--- a/Admin/components/main	Tue Apr 15 21:13:20 2014 +0200
+++ b/Admin/components/main	Tue Apr 15 22:18:21 2014 +0200
@@ -6,7 +6,7 @@
 jdk-7u40
 jedit_build-20140405
 jfreechart-1.0.14-1
-jortho-1.0-1
+jortho-1.0-2
 kodkodi-1.5.2
 polyml-5.5.1-1
 scala-2.10.4
isabelle