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 |
|
Manuel Krucker
|
ad97ba1354
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7530 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 17:09:53 +00:00 |
|
Manuel Krucker
|
b9cb0a1069
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7524 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 16:30:59 +00:00 |
|
Manuel Krucker
|
0541357cb7
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7523 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 16:30:48 +00:00 |
|
Manuel Krucker
|
5a9667fdbe
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7522 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 13:49:56 +00:00 |
|
Manuel Krucker
|
5fcc72eb26
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7519 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 13:01:03 +00:00 |
|
Manuel Krucker
|
c0c8f78716
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7518 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 12:16:20 +00:00 |
|
Manuel Krucker
|
9b3f53e909
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7517 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 10:39:41 +00:00 |
|
Manuel Krucker
|
e0dcb44e72
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7516 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 10:39:01 +00:00 |
|
Manuel Krucker
|
806578c96f
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7515 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 10:38:40 +00:00 |
|
Manuel Krucker
|
063297fa2d
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7514 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-27 10:38:11 +00:00 |
|
Manuel Krucker
|
651781d214
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7510 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-26 20:26:42 +00:00 |
|
Manuel Krucker
|
7304fb1653
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7509 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-26 20:14:40 +00:00 |
|
Manuel Krucker
|
f9a8a56862
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7508 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-03-26 18:12:52 +00:00 |