4f3a84cb1b7e55ce38df8f4ac71d06b574b23cb1 |
|
27-Mar-2018 |
mscodescu <mscodescu@gmail.com> |
origin of sentences |
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 |
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 |
80fa8cedf41af85cd602945b6a267242f44a7b81 |
|
22-Oct-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed ghc warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18275 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfc0417e14ed86041569b64caa9fb96961a5662d |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed import order
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18267 cec4b9c1-7d33-0410-9eda-942365e851bb |
10598b3b999ecbac0347ff422d56b1d97db296b7 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
* export param type inferred from context
* further improvements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18263 cec4b9c1-7d33-0410-9eda-942365e851bb |
f34d3f5bda0be3ded217da71c1e2e30ee03ca5a1 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
adapted import and pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18262 cec4b9c1-7d33-0410-9eda-942365e851bb |
6764d16780980d70ed80b17465e07c3bb811e28a |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
improved fun export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18259 cec4b9c1-7d33-0410-9eda-942365e851bb |
383d883a81d3bc4ad7b14aa28e03f0f35baec458 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
adapted dtd and import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18241 cec4b9c1-7d33-0410-9eda-942365e851bb |
61d26ef772466529400bc460e7c69f67c1173b56 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
refactored use of fixes and assumes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18234 cec4b9c1-7d33-0410-9eda-942365e851bb |
42b0311155dd27a5f8ba917b280c9f7989b73ec9 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
improved pretty printing of lemmas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18233 cec4b9c1-7d33-0410-9eda-942365e851bb |
ca8f01a2b83fbb929aaf29629f71b10fd867956a |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
adapted dtd & isabelle import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18232 cec4b9c1-7d33-0410-9eda-942365e851bb |
617719566ec7a718fc4f601c02ca91f21ca6deb6 |
|
27-Apr-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
new isabelle export script
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17920 cec4b9c1-7d33-0410-9eda-942365e851bb |
eca83bf7d98670ee4fa52661d2f8222429a4f91a |
|
27-Mar-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
read in function definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17835 cec4b9c1-7d33-0410-9eda-942365e851bb |
705d8c3d5549a00d4b00e0cb80e3a77441f85267 |
|
27-Mar-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
import of definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17834 cec4b9c1-7d33-0410-9eda-942365e851bb |
88742725989560e29a45dcef33ebd87e97e5f967 |
|
19-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed a couple issues with the pretty printer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17367 cec4b9c1-7d33-0410-9eda-942365e851bb |
4524a7b9cc36e34a24149056938fb8fa6f7f147a |
|
28-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
only use posix modules on unix
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17262 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1d06b3018b34ede2b3fb6c7fe2ad28cd5ce5b68 |
|
28-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added syntax IRI to theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17252 cec4b9c1-7d33-0410-9eda-942365e851bb |
56f92cc69648f26085eff586c8cb960d846a4d62 |
|
14-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed name of environment variable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17188 cec4b9c1-7d33-0410-9eda-942365e851bb |
97dc615bc3ce381eaa3e75cc23dfc3c4b566d9a0 |
|
14-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
much better (error) messages for isabelle input
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17187 cec4b9c1-7d33-0410-9eda-942365e851bb |
7bbfb15142ab4286dfc6fcde2fc94a5512297e41 |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added direct support for importing .thy files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17141 cec4b9c1-7d33-0410-9eda-942365e851bb |
29bea0b023210ba4ac7fe06ffa6ae80309291348 |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
import locales from isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17139 cec4b9c1-7d33-0410-9eda-942365e851bb |
1dfa74e3151ce63c12483d7268fe096d82e82076 |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
mkVName automatically adds AltSyntax for known constants
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17132 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2ffbb0cced4c2e4cc1ec3266847881a17f32d34 |
|
28-Jun-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added support for importing classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16988 cec4b9c1-7d33-0410-9eda-942365e851bb |
d31090850b029162859d0aedf45bae2a83d7b673 |
|
12-Jun-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
export the list of theory imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16918 cec4b9c1-7d33-0410-9eda-942365e851bb |
b774e4aa98a386128f76e5cbbaf4f289a103032b |
|
11-Apr-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
use IRI instead of plain SIMPLE_ID's
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16781 cec4b9c1-7d33-0410-9eda-942365e851bb |
22b772f8753f0cdb4508ba460356c238de2ee375 |
|
14-Mar-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
first version of import from isabelle. has issues with printing imported datatypes and doesn't support all term types yet
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16726 cec4b9c1-7d33-0410-9eda-942365e851bb |