c33a9046bf3b7ec3b3642a5d266543232fb88908 |
|
07-Dec-2017 |
mscodescu <mscodescu@gmail.com> |
made emptyKind default for symKind |
b6bfd930d7bba37c33d8f7e387e2619a6576a451 |
|
07-Dec-2017 |
mscodescu <mscodescu@gmail.com> |
symbol kind for Isabelle |
602041e384342ea908c976a298e8b47774d3500c |
|
14-Oct-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
improved descriptions of logics |
e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
eb9c04f9cff47a81f6d362ca03fbf4cb7ab97e7c |
|
20-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added jedit for Isabelle proving |
d9b1a9c8fce2e68aaf4a8b415ab40ab461a1b488 |
|
16-Jul-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added isabelle-process prover to avoid user interaction |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe4a3f8471fb29021de18fbb50bb3f3a8bd9c693 |
|
07-May-2013 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
renamed LogicalFram to Logical Framework
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17953 cec4b9c1-7d33-0410-9eda-942365e851bb |
a65c6747c9acbbebc93baba7bae94d2e3d8cdafb |
|
03-May-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added symbol parser, for use in correspondences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17942 cec4b9c1-7d33-0410-9eda-942365e851bb |
55cf6e01272ec475edea32aa9b7923de2d36cb42 |
|
04-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-7.2 requires language with flexible instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15876 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
f1ed8902070833efd4b3b139bbc7ec0f331c7155 |
|
25-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Moved the LogicFram class to Logic.Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13632 cec4b9c1-7d33-0410-9eda-942365e851bb |
0833beb79f31e71a77e39dabdf37b2e77b8525d7 |
|
25-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13630 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd6f22b9dcff2695181b86372e4df03d5b96e92d |
|
24-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Added analysis of user-defined logics.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13628 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a77240a809197c92c0736c431b4b88947a7bac1 |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added some LANGUAGE pragmas for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13490 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3c9318c22fcf44d9135a3b2c64f880b9a785bab |
|
13-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added (dummy) positions to symbols and sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12976 cec4b9c1-7d33-0410-9eda-942365e851bb |
a7be28e157e9ceeec73a8fd0e642c36ea29d4218 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added a separate subsig test to allow building inlusions more efficiently
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11439 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd5e505efb3641bf74ade0ba3adabf4ceaf94e60 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing blank lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10427 cec4b9c1-7d33-0410-9eda-942365e851bb |
3df62855407557d42ee0caa1e7d4cd2a2f53f75b |
|
25-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed sign_to_basic_spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10392 cec4b9c1-7d33-0410-9eda-942365e851bb |
ca461b07f4ae5be5f3be9c71a51a47182881dfec |
|
18-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed loop between is_subsig and inclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9939 cec4b9c1-7d33-0410-9eda-942365e851bb |
43dd0906d7b385b9ce2de7d7a7f0956f6617425d |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed overlapping Category instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9799 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c7f058cdd19ce67b2b5d4b7f69703d0f8a21e38 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored class Category
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9797 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c4bac169b47c39f9d0477a42da39b179091f723 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added inclusion flag to default morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9796 cec4b9c1-7d33-0410-9eda-942365e851bb |
6155ffd7d005f443d69067fc50f17134887e9e6b |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed is_subsig to a global function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9795 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b61e3157fe3f908a60f1842ffa986c5a1c15154 |
|
17-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a subsignature test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9774 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1f395fef7ea8b00a675a330e5461fad35158ca5 |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added haddock descriptions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8319 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
cd6e5706893519bfcf24539afa252fcbed5097dd |
|
26-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* Refactoring of classes Logic, Sentences and StaticAnalysis
* Logic.Prover.ProverTemplate has now a field for the maximal sublogic
needed by a Prover/ConsChecker
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8145 cec4b9c1-7d33-0410-9eda-942365e851bb |
5cfeedad8c9d43f62f8e8b85ab73c0dd4e91d976 |
|
20-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved remaining todos to trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7481 cec4b9c1-7d33-0410-9eda-942365e851bb |
c438c79d00fc438f99627e612498744bdc0d0c89 |
|
22-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched over to new Doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6478 cec4b9c1-7d33-0410-9eda-942365e851bb |
e42eddbc69dd31f7cd696e38f82acad678831cb7 |
|
31-May-2006 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
change to new Doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6408 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d97ef4f234681b11bb5924bd4d03adef858d2d2 |
|
30-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive Typeable along with ATC
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5572 cec4b9c1-7d33-0410-9eda-942365e851bb |
036037a4510ea63a81a4829ad0c11ef39b2391b0 |
|
09-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up more and moved printNamedSen
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5366 cec4b9c1-7d33-0410-9eda-942365e851bb |
b65e16b9e5652ff341ab0f49be5da51e2c0e10a5 |
|
18-Oct-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
introduced stabilities of logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5200 cec4b9c1-7d33-0410-9eda-942365e851bb |
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0 |
|
29-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded tabs to spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb |
42626cd6acc59504dff56b5b81043c272778c5fb |
|
23-Sep-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactored proof status info for sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5063 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
a5e231ee4359da4667d54016848220c590a77b79 |
|
25-May-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
removed an import and a type synonim
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4332 cec4b9c1-7d33-0410-9eda-942365e851bb |
6fe9628743562678acf97d6730ebcfee5e9e50c2 |
|
19-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated Isabelle as logic for ATC generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4303 cec4b9c1-7d33-0410-9eda-942365e851bb |
dfa74d066ea0f00a70276aedecc624c6b3c86dea |
|
11-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended data type Named
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4251 cec4b9c1-7d33-0410-9eda-942365e851bb |
dde04b9d3237c3f37af7f864c09eda91c003a1a3 |
|
14-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added double quotes in print_named
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4059 cec4b9c1-7d33-0410-9eda-942365e851bb |
729aff22a7983f5bb113dcc604157edd728c1484 |
|
02-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced default morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3896 cec4b9c1-7d33-0410-9eda-942365e851bb |
a89e661aad28f1b39f4fc9f9f9a4d46074234123 |
|
05-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed from Maybe to Result
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3619 cec4b9c1-7d33-0410-9eda-942365e851bb |
5308ef83ee1b668f4cf6c8278bc645e7e0f8b4ed |
|
26-Nov-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Connected Isabelle consistency checker
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3468 cec4b9c1-7d33-0410-9eda-942365e851bb |
6b8f813c46b719a37e9a61cdfba85339952abbed |
|
11-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3420 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e2e744c6b967c3f5f581acf01c13769b6769285 |
|
02-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added Eq and Show instances for DGRule. Needed refactoring of dynamics stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3125 cec4b9c1-7d33-0410-9eda-942365e851bb |
f4505a64a089693012a3f5c3b1f12a82cd7a2a5a |
|
30-Aug-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Improved conditional compilation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3121 cec4b9c1-7d33-0410-9eda-942365e851bb |
31c49f2fa23d4ac089f35145d80a224deb6ea7e4 |
|
28-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added flag UNI_PACKAGE to allow removal of UniForM workbench
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3112 cec4b9c1-7d33-0410-9eda-942365e851bb |
9f700f4b4a508137ac66a2f0388627bcc000f317 |
|
01-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added print_named
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2790 cec4b9c1-7d33-0410-9eda-942365e851bb |
05ca76b03b6d16bcfb3e7654c31e41a220e85663 |
|
29-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added descriptions to logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2754 cec4b9c1-7d33-0410-9eda-942365e851bb |
1361b09b79b95d47e03eba7a1fc9eddc39aa0455 |
|
06-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved Typeable instances to Logic (so that it finds mkTyConApp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2557 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa0ef8adb2833838c1954e6f93c61d85d2cb226a |
|
14-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Prover interface cont'd
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2275 cec4b9c1-7d33-0410-9eda-942365e851bb |
72186e215ea8bd54f41bde5b792652aa7ca42167 |
|
12-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2266 cec4b9c1-7d33-0410-9eda-942365e851bb |