| 90bbe729e1e28157a23bd04116e3856cba0b21b3 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
properly display error
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18268 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3496342433a87c2a3ab9950e78b33ecb03f29e15 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
reimplemented export of parent theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18266 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5e4fe646cad79449dff25a3bb7fcebad76b72c95 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
* use HOLCF image
* export / import HOLCF commands domain and fixrec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18264 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9a527ab7e7c0247ab32162f00c9ec630eff38a88 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
refactoring
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18238 cec4b9c1-7d33-0410-9eda-942365e851bb |
| baacb07fca6a4140974ce2a544edb755ede5a3c2 |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
immediately quit export script after encountering an error
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18236 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6df4343f46cc159371dfa671c5943354480f4e1c |
|
24-Sep-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
xml export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18231 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 |
| 0d295ebecb355c0f98d3f511619b14156d95e3d4 |
|
13-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
replaced "grep -q" because it is not portable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17337 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 11bed5e9b739f03c810e816ddcbeb865aff352f3 |
|
13-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed problem on MacOs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17335 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 |
| 8c38757c50d7e8f76897f7e88097a2d3acc118a0 |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
further work on importing locales
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17138 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8f38f1aeb6ac1c9514f8d6d5e509ff7298ed5b78 |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
first work for locales support
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17137 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 255a89789d3d5b19f6a8c96bf6c260a96158ef6d |
|
28-Jun-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Restructured export_helper.ML
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16987 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 |
| f58f6829ef8f3f742301e457f905fd0290716212 |
|
12-Jun-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
more aggressively remove HOL.trueprop
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16916 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d5d2f79ba9303ff0b00e04eb7b3b5d0bf5c8daae |
|
12-Jun-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed problems related to type variables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16906 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b538e214277386123cb6f1ab0c99ae8fd3a03963 |
|
12-Jun-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Added (rudimentary) pretty printing support for isabelle imports (only infix)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16905 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e29b8f886533643eb2b9a8601606a9f5e40cd237 |
|
11-Apr-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
alternative names for rec types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16783 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 |
| 75a39ac3eec18df94df1be9c71a1f6b1f94a57a4 |
|
20-Dec-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added xml export from isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16567 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6516023b9db74939c0a0f79fd6cc5bc7d9bab382 |
|
20-Dec-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added pattern-based filtering (get_gen_theorems uses a more simple approach)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16566 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4d4ee5ef6601170c9d419da9fe8742c506507d11 |
|
30-Aug-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
export from isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16048 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 067b7cf571968fe8e91212059da1590c2dfa741a |
|
28-Aug-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
a few changes to exporting from isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16038 cec4b9c1-7d33-0410-9eda-942365e851bb |