Manuel Krucker
|
0f01f3e8d1
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7593 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 19:06:57 +00:00 |
Manuel Krucker
|
d3c0a93b92
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7592 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:49:35 +00:00 |
Manuel Krucker
|
bcd8150723
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7591 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:46:28 +00:00 |
Manuel Krucker
|
f3d3d86a76
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7590 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:44:47 +00:00 |
Manuel Krucker
|
7374750377
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7589 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:44:28 +00:00 |
Manuel Krucker
|
e080e38cc1
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7588 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:43:18 +00:00 |
Manuel Krucker
|
526bcdb953
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7587 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:42:42 +00:00 |
Manuel Krucker
|
ab79a17ce0
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7586 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:42:26 +00:00 |
Manuel Krucker
|
8bf1daef44
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7585 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:40:19 +00:00 |
Manuel Krucker
|
8a6ddc961f
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7584 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:39:31 +00:00 |
Manuel Krucker
|
90fa90f3d1
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7583 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:39:06 +00:00 |
Manuel Krucker
|
06ce604b03
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7582 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:36:43 +00:00 |
Manuel Krucker
|
7c6889b690
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7581 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:36:30 +00:00 |
Manuel Krucker
|
b8ab269cf9
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7580 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:35:33 +00:00 |
Manuel Krucker
|
8d9e76e962
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7579 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:34:53 +00:00 |
Manuel Krucker
|
ce2b39ed8e
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7578 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 13:07:18 +00:00 |
Manuel Krucker
|
49bdc22854
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7577 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-02 11:37:27 +00:00 |
Manuel Krucker
|
602e8ffee1
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7573 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-01 20:15:19 +00:00 |
Manuel Krucker
|
8b08cdbed8
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7572 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-01 19:17:36 +00:00 |
Manuel Krucker
|
7893cdbd4f
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7571 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-01 10:27:51 +00:00 |
Manuel Krucker
|
f24bf88e14
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7570 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-01 10:17:02 +00:00 |
Manuel Krucker
|
825afa7468
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7569 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-01 09:32:06 +00:00 |
Manuel Krucker
|
83ece1d877
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7565 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-31 11:24:14 +00:00 |
Manuel Krucker
|
75c3447bed
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7564 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-31 09:38:49 +00:00 |
Manuel Krucker
|
69a7ce8f19
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7563 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-31 09:38:39 +00:00 |
Achim D. Brucker
|
fed0e90e6c
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7561 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-30 16:37:42 +00:00 |
Achim D. Brucker
|
5957267149
|
improved/fixed removePackage
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7558 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-30 11:36:01 +00:00 |
Manuel Krucker
|
3f89b0486a
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7557 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-28 17:05:29 +00:00 |
Manuel Krucker
|
2a01e90716
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7556 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-28 16:50:21 +00:00 |
Achim D. Brucker
|
10c564c9cd
|
added SimpleChair
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7555 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 23:58:18 +00:00 |
Achim D. Brucker
|
507a6c36a8
|
added library for HOL-OCL relevant namespace operations
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7552 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 22:59:31 +00:00 |
Achim D. Brucker
|
bc2400ae87
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7549 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 21:54:01 +00:00 |
Achim D. Brucker
|
16a9d57532
|
fixed several compile errors
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7548 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 21:53:33 +00:00 |
Achim D. Brucker
|
61f531da4e
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7547 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 19:52:32 +00:00 |
Achim D. Brucker
|
31a4c7ddda
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7546 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 19:45:27 +00:00 |
Manuel Krucker
|
071b0e03d2
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7545 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 19:32:47 +00:00 |
Manuel Krucker
|
3bb5f544a0
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7544 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 19:24:52 +00:00 |
Manuel Krucker
|
fc17048c70
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7543 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 19:23:11 +00:00 |
Manuel Krucker
|
d25551793d
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7542 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 19:06:33 +00:00 |
Manuel Krucker
|
4afc480ffd
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7541 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 19:05:13 +00:00 |
Manuel Krucker
|
e8a501ef49
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7540 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 18:56:32 +00:00 |
Manuel Krucker
|
d7e42f6429
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7539 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 18:56:12 +00:00 |
Manuel Krucker
|
2e66cc3501
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7538 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 18:54:30 +00:00 |
Achim D. Brucker
|
3ef49811e0
|
added isValueType
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7537 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 18:26:34 +00:00 |
Achim D. Brucker
|
5bf4f6308d
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7536 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 18:26:12 +00:00 |
Manuel Krucker
|
4c243eec88
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7535 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 18:07:24 +00:00 |
Manuel Krucker
|
c8854934fd
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7534 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 18:07:13 +00:00 |
Manuel Krucker
|
527aac9f24
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7533 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 17:58:30 +00:00 |
Manuel Krucker
|
4da10bae5b
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7532 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 17:58:04 +00:00 |
Manuel Krucker
|
f7efe76722
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7531 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 17:57:47 +00:00 |