Edwin Groothuis
0002baf188
[MAINTAINER] math/isabelle: update from 2007 to 2008
...
Updates the port to the latest Isabelle release. It does
not seem worth the effort to continually patch the bash
script files to make them work under sh, hence the large
number of removed files.
PR: ports/126067
Submitted by: Timothy Bourke <timbob@bigpond.com>
2008-08-15 04:33:04 +00:00
..
2007-04-18 11:46:10 +00:00
2008-06-06 14:17:21 +00:00
2008-04-19 17:56:05 +00:00
2007-02-16 06:50:49 +00:00
2007-09-30 04:47:36 +00:00
2007-05-19 20:36:56 +00:00
2008-04-19 17:56:05 +00:00
2007-07-12 18:52:00 +00:00
2007-07-12 06:57:48 +00:00
2008-03-24 23:21:25 +00:00
2008-07-25 14:34:52 +00:00
2008-06-12 07:28:33 +00:00
2008-01-07 00:24:05 +00:00
2008-07-25 12:24:09 +00:00
2008-04-27 09:35:40 +00:00
2007-07-14 04:42:10 +00:00
2008-06-06 14:17:21 +00:00
2007-09-10 03:04:20 +00:00
2008-04-19 17:56:05 +00:00
2008-06-06 14:17:21 +00:00
2008-05-13 15:11:55 +00:00
2008-06-06 14:17:21 +00:00
2008-06-14 14:14:58 +00:00
2007-01-27 16:01:03 +00:00
2008-04-29 05:11:44 +00:00
2007-05-19 20:36:56 +00:00
2008-06-06 14:17:21 +00:00
2008-08-12 00:40:51 +00:00
2008-07-15 13:03:56 +00:00
2008-06-23 10:51:37 +00:00
2008-06-06 14:17:21 +00:00
2007-10-17 10:13:01 +00:00
2007-01-27 14:38:12 +00:00
2008-06-06 14:17:21 +00:00
2008-08-09 18:44:13 +00:00
2008-08-05 13:51:31 +00:00
2008-07-21 04:49:09 +00:00
2008-06-06 14:17:21 +00:00
2008-05-27 22:12:09 +00:00
2008-05-27 22:12:09 +00:00
2008-05-27 22:12:09 +00:00
2008-03-14 11:04:09 +00:00
2008-06-19 02:54:54 +00:00
2008-06-13 08:30:57 +00:00
2007-10-17 10:13:01 +00:00
2007-07-05 21:00:47 +00:00
2008-02-09 21:57:03 +00:00
2007-03-06 19:15:43 +00:00
2008-04-19 17:56:05 +00:00
2007-07-12 08:51:23 +00:00
2008-04-19 17:56:05 +00:00
2007-02-10 22:46:34 +00:00
2008-06-06 14:17:21 +00:00
2008-06-24 15:18:15 +00:00
2008-04-19 17:56:05 +00:00
2008-04-30 12:50:53 +00:00
2008-08-01 09:46:54 +00:00
2008-06-06 14:17:21 +00:00
2008-07-25 12:24:09 +00:00
2008-06-06 14:17:21 +00:00
2008-06-06 14:17:21 +00:00
2008-07-20 18:54:47 +00:00
2008-06-29 23:31:43 +00:00
2008-06-06 14:17:21 +00:00
2008-06-06 14:17:21 +00:00
2008-06-06 14:17:21 +00:00
2007-08-12 11:10:15 +00:00
2008-03-20 09:56:52 +00:00
2008-04-28 07:52:03 +00:00
2007-05-19 20:36:56 +00:00
2008-07-15 13:01:10 +00:00
2008-08-06 10:48:23 +00:00
2008-06-25 10:30:39 +00:00
2008-05-30 19:39:14 +00:00
2008-06-06 14:17:21 +00:00
2008-04-13 17:26:55 +00:00
2008-06-06 14:17:21 +00:00
2008-07-24 17:11:44 +00:00
2008-06-14 04:47:35 +00:00
2008-06-23 10:51:44 +00:00
2008-03-20 09:56:52 +00:00
2008-06-06 14:17:21 +00:00
2008-08-02 22:34:28 +00:00
2008-07-14 02:37:23 +00:00
2008-06-06 14:17:21 +00:00
2008-06-21 12:26:14 +00:00
2008-07-21 04:49:09 +00:00
2007-05-19 20:36:56 +00:00
2008-07-18 12:36:04 +00:00
2008-08-15 04:33:04 +00:00
2008-07-25 14:34:52 +00:00
2008-04-25 16:58:10 +00:00
2007-10-04 01:53:45 +00:00
2008-06-06 14:17:21 +00:00
2007-08-30 08:33:48 +00:00
2008-06-06 14:17:21 +00:00
2008-05-30 12:23:38 +00:00
2007-03-24 16:34:07 +00:00
2007-03-24 16:34:07 +00:00
2008-07-18 20:40:43 +00:00
2008-06-06 14:17:21 +00:00
2008-04-19 17:56:05 +00:00
2008-08-09 16:52:28 +00:00
2008-06-06 14:17:21 +00:00
2008-06-06 14:17:21 +00:00
2008-06-19 10:52:03 +00:00
2008-06-19 02:08:21 +00:00
2007-09-29 05:18:59 +00:00
2007-09-21 22:20:33 +00:00
2008-07-08 11:50:37 +00:00
2008-04-19 17:56:05 +00:00
2008-04-19 17:56:05 +00:00
2008-06-25 10:30:39 +00:00
2007-08-05 06:31:36 +00:00
2008-04-19 17:56:05 +00:00
2007-02-01 02:42:05 +00:00
2008-06-19 00:29:09 +00:00
2008-06-06 14:17:21 +00:00
2007-01-30 10:25:34 +00:00
2007-01-30 10:25:34 +00:00
2007-07-17 00:18:52 +00:00
2008-02-04 15:35:12 +00:00
2007-10-01 09:37:31 +00:00
2008-04-05 08:25:19 +00:00
2008-04-19 17:56:05 +00:00
2008-06-06 14:17:21 +00:00
2008-05-16 13:22:11 +00:00
2008-07-25 14:34:52 +00:00
2008-06-06 14:17:21 +00:00
2007-09-09 18:31:49 +00:00
2008-08-12 09:02:10 +00:00
2008-06-06 14:17:21 +00:00
2008-04-19 17:56:05 +00:00
2008-08-02 20:35:26 +00:00
2008-04-19 17:56:05 +00:00
2008-07-25 12:24:09 +00:00
2008-07-09 12:49:27 +00:00
2008-03-20 22:26:34 +00:00
2008-04-09 13:42:26 +00:00
2008-06-25 10:34:43 +00:00
2007-04-01 07:33:25 +00:00
2008-03-30 00:09:07 +00:00
2007-02-23 10:50:15 +00:00
2008-03-20 09:56:52 +00:00
2007-07-14 02:21:32 +00:00
2007-03-15 06:04:53 +00:00
2008-07-25 14:34:52 +00:00
2007-05-19 20:36:56 +00:00
2008-02-21 21:20:01 +00:00
2008-04-19 17:56:05 +00:00
2008-07-25 12:24:09 +00:00
2008-06-19 12:20:09 +00:00
2007-07-23 09:36:51 +00:00
2007-08-13 20:20:40 +00:00
2008-06-22 17:13:25 +00:00
2008-07-29 07:57:06 +00:00
2008-07-25 12:24:09 +00:00
2008-06-06 14:17:21 +00:00
2008-06-06 14:17:21 +00:00
2008-04-10 13:43:16 +00:00
2008-04-17 14:30:31 +00:00
2008-04-29 05:27:09 +00:00
2008-05-19 13:12:08 +00:00
2008-05-19 13:12:08 +00:00
2008-04-29 05:27:09 +00:00
2008-05-19 13:12:08 +00:00
2008-05-11 15:02:41 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-05-07 11:51:02 +00:00
2008-02-14 14:53:46 +00:00
2008-04-09 14:06:01 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-03-30 05:00:28 +00:00
2008-04-17 14:30:31 +00:00
2008-04-29 05:27:09 +00:00
2008-08-09 12:53:04 +00:00
2008-04-17 14:30:31 +00:00
2008-06-28 22:28:07 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-05-08 08:55:10 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 05:27:09 +00:00
2008-05-19 13:12:08 +00:00
2008-07-02 08:28:43 +00:00
2007-10-27 06:26:52 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2007-08-31 13:37:23 +00:00
2008-04-17 14:30:31 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 05:27:09 +00:00
2007-08-31 13:37:23 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-04-29 05:27:09 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-07-31 00:59:12 +00:00
2008-05-19 13:12:08 +00:00
2008-05-31 20:59:31 +00:00
2008-04-17 14:30:31 +00:00
2008-06-12 12:40:47 +00:00
2008-04-17 14:30:31 +00:00
2008-04-29 05:27:09 +00:00
2008-04-17 14:30:31 +00:00
2008-05-05 15:07:38 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 05:27:09 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 05:27:09 +00:00
2008-08-05 23:51:06 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 10:29:03 +00:00
2008-04-29 10:30:15 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 10:31:42 +00:00
2008-04-29 05:27:09 +00:00
2008-04-17 14:30:31 +00:00
2008-07-27 20:16:36 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-03-11 14:59:10 +00:00
2007-04-10 03:08:59 +00:00
2008-04-17 14:30:31 +00:00
2008-04-29 05:27:09 +00:00
2008-04-29 05:27:09 +00:00
2008-02-21 12:55:40 +00:00
2008-04-17 14:30:31 +00:00
2008-07-02 07:55:39 +00:00
2008-07-02 08:07:48 +00:00
2008-04-29 05:27:09 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-06-23 03:15:19 +00:00
2008-04-17 14:30:31 +00:00
2008-04-29 05:27:09 +00:00
2008-04-17 14:30:31 +00:00
2008-05-19 13:12:08 +00:00
2008-05-19 13:12:08 +00:00
2008-02-15 13:26:08 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-04-17 14:30:31 +00:00
2008-01-21 21:59:17 +00:00
2007-09-08 01:12:10 +00:00
2008-02-15 19:48:47 +00:00
2008-06-06 14:17:21 +00:00
2008-06-06 14:17:21 +00:00
2007-05-29 16:12:27 +00:00
2008-07-18 21:05:20 +00:00
2008-07-17 13:19:59 +00:00
2007-03-05 02:43:43 +00:00
2008-06-06 14:17:21 +00:00
2007-03-04 11:33:14 +00:00
2007-03-11 21:57:26 +00:00
2008-06-06 14:17:21 +00:00
2008-03-24 13:03:55 +00:00
2008-06-06 14:17:21 +00:00
2007-01-31 16:09:29 +00:00
2008-08-15 01:03:23 +00:00
2008-06-23 10:51:35 +00:00
2008-06-06 14:17:21 +00:00
2008-04-20 09:57:44 +00:00
2007-07-30 09:42:28 +00:00
2008-07-18 13:15:24 +00:00
2008-05-22 00:49:34 +00:00
2008-08-14 06:14:48 +00:00
2008-07-26 09:13:54 +00:00
2008-06-27 11:40:56 +00:00
2008-06-06 14:17:21 +00:00
2007-07-30 09:42:28 +00:00
2008-06-15 21:16:01 +00:00
2007-02-11 13:52:04 +00:00
2008-03-01 13:15:32 +00:00
2007-07-30 09:42:28 +00:00
2008-08-14 20:26:44 +00:00
2007-07-30 09:42:28 +00:00
2007-07-30 09:42:28 +00:00
2008-08-11 22:14:50 +00:00
2008-06-06 14:17:21 +00:00
2008-02-05 03:41:55 +00:00
2008-06-06 14:17:21 +00:00
2007-01-27 07:29:12 +00:00
2007-01-27 07:29:12 +00:00
2008-06-06 14:17:21 +00:00
2008-08-06 07:50:41 +00:00
2008-08-06 07:48:18 +00:00
2008-06-06 14:17:21 +00:00
2008-08-01 09:46:54 +00:00
2008-07-29 14:13:14 +00:00
2007-01-30 10:25:34 +00:00
2008-02-15 20:19:45 +00:00
2008-07-25 12:24:09 +00:00
2008-04-19 17:56:05 +00:00
2008-06-06 14:17:21 +00:00
2008-06-06 14:17:21 +00:00
2008-08-04 20:04:42 +00:00
2008-08-04 20:04:42 +00:00
2008-02-28 19:33:31 +00:00
2007-05-19 20:36:56 +00:00
2008-04-08 13:53:22 +00:00
2008-01-30 08:47:57 +00:00
2008-06-06 14:17:21 +00:00
2008-06-06 14:17:21 +00:00
2008-06-18 21:15:31 +00:00
2008-06-06 14:17:21 +00:00
2008-06-06 14:17:21 +00:00
2008-06-20 23:39:11 +00:00
2008-06-20 23:42:33 +00:00
2008-06-06 14:17:21 +00:00
2008-06-19 02:54:54 +00:00
2007-10-11 17:26:03 +00:00
2008-04-19 17:56:05 +00:00
2007-03-04 13:37:32 +00:00
2008-03-20 09:56:52 +00:00
2008-06-06 14:17:21 +00:00
2007-09-22 00:36:06 +00:00
2008-06-06 14:17:21 +00:00
2008-06-19 01:52:25 +00:00
2008-02-27 05:20:25 +00:00
2008-06-20 23:52:29 +00:00
2008-08-06 07:17:18 +00:00
2008-06-06 14:17:21 +00:00
2008-06-06 14:17:21 +00:00
2007-07-12 07:14:14 +00:00
2007-09-28 00:46:26 +00:00
2008-03-13 12:47:53 +00:00
2008-02-04 15:35:12 +00:00
2008-04-19 17:56:05 +00:00
2008-04-19 17:56:05 +00:00
2008-06-06 14:17:21 +00:00
2007-07-23 09:36:51 +00:00
2008-07-25 12:24:09 +00:00
2007-07-14 17:07:46 +00:00
2008-04-19 17:56:05 +00:00
2008-06-06 14:17:21 +00:00
2008-05-27 22:12:09 +00:00
2008-04-09 13:42:26 +00:00
2008-03-13 20:57:14 +00:00
2007-12-11 21:04:40 +00:00
2008-04-19 17:56:05 +00:00
2008-04-19 17:56:05 +00:00
2008-04-19 17:56:05 +00:00
2008-06-06 14:17:21 +00:00
2008-06-06 14:17:21 +00:00
2008-05-13 10:27:09 +00:00
2007-05-19 20:36:56 +00:00
2008-04-19 17:56:05 +00:00
2008-04-19 17:56:05 +00:00
2008-04-29 05:36:38 +00:00
2008-04-19 17:56:05 +00:00
2008-04-19 17:56:05 +00:00
2008-04-19 17:56:05 +00:00
2008-08-11 22:14:50 +00:00