Commit Graph

1637 Commits

Author SHA1 Message Date
Cas Cremers
7c8ca527b2 - Updates (fast forwarding to latest Scyther from svn) 2007-05-18 13:55:11 +02:00
Cas Cremers
814fbf31cd - Some obsolete bugs removed. 2007-05-18 08:11:54 +02:00
Cas Cremers
04b6ab4b36 - Added ignore patterns
- Removed some obsolete bug reports (but more pruning is needed in the future)
2007-05-18 00:34:02 +02:00
Cas Cremers
19f0019dad - Removed another obsolete file. 2007-05-18 00:13:52 +02:00
Cas Cremers
9bfa17a464 - Added todo. 2007-05-18 00:05:34 +02:00
Cas Cremers
530658b57a - Note about versions. 2007-05-17 17:47:23 +02:00
Cas Cremers
d64d89b063 - Added further notes 2007-05-17 17:35:47 +02:00
Cas Cremers
b9e31b6b47 - Got rid of more garbage. 2007-05-17 17:32:10 +02:00
Cas Cremers
a644446f62 - Some fixes. 2007-05-17 17:30:04 +02:00
Cas Cremers
d622b14257 - Big restructuring of the directories 2007-05-17 17:28:10 +02:00
Cas Cremers
f168778161 - Mac installation problems file needed a better name. 2007-05-17 17:23:36 +02:00
Cas Cremers
04a9919ec6 - Got rid of more stuff. 2007-05-17 17:11:53 +02:00
Cas Cremers
8fda46294a - Removed more obsolete stuff. 2007-05-17 17:04:58 +02:00
ccremers
cfbaad4388 - Last version 2007-05-12 09:29:47 +00:00
ccremers
6fb4187369 - Even better. 2007-05-12 06:31:36 +00:00
ccremers
4c06d50747 - Bla. 2007-05-12 06:13:59 +00:00
ccremers
d122ae95fe - Ah, I need to specificy the file by default. Changed. 2007-05-11 23:10:11 +00:00
ccremers
807c702ee7 Tested adding a file in git, seems to work. 2007-05-11 23:10:04 +00:00
ccremers
4177b20aad - Minor additions 2007-05-11 21:44:36 +00:00
ccremers
9545d878dd - Fixes 2007-05-11 21:18:02 +00:00
ccremers
a6a41973b4 - First attempt at modeling 2007-05-11 20:51:59 +00:00
ccremers
eea7a09730 - New type versioning for the Mac too 2007-05-03 15:54:00 +00:00
ccremers
09419702d8 - New version mechanism in place 2007-05-03 15:52:51 +00:00
ccremers
32e6070a26 - New Mac version 2007-05-03 15:47:15 +00:00
ccremers
14170f603f - New binaries 2007-05-03 13:26:04 +00:00
ccremers
1558ef1987 - New Mac binary 2007-05-03 13:25:30 +00:00
ccremers
d414200c3c - Improved build process 2007-05-03 13:21:43 +00:00
ccremers
71e79b5ed7 - New build thing 2007-05-03 12:00:00 +00:00
ccremers
5b528f69ba - Cleanup 2007-05-03 11:40:58 +00:00
ccremers
4529fd4bfd - Cleanup of build files 2007-05-03 11:32:07 +00:00
ccremers
acb3f6b846 - Minor renaming of build scripts 2007-05-03 11:22:00 +00:00
ccremers
9882651f4a - Fixed role comparison bug. 2007-02-01 12:18:38 +00:00
ccremers
6e82d585be - Errors now get a nice colour 2007-01-31 15:45:05 +00:00
ccremers
c63b87c750 - Oops. 2007-01-31 12:20:44 +00:00
ccremers
ed433130e2 - New binaries. 2007-01-31 11:24:25 +00:00
ccremers
eaf4506634 - Warning fixes. 2007-01-31 11:23:53 +00:00
ccremers
6f59ed3ab3 - Got rid of ctrl-W mapping to be nice to silly Emacs users. 2007-01-30 19:58:12 +00:00
ccremers
2ff5adf040 - Minor cleanup on Scyther output parser. 2007-01-30 17:43:58 +00:00
ccremers
17d1898b29 - Factored out editor component. 2007-01-30 11:01:17 +00:00
ccremers
6f5846d09f - Added new binaries for both windows and linux 2007-01-29 22:56:56 +00:00
ccremers
a0704db58a - New icon draft. 2007-01-29 22:24:46 +00:00
ccremers
eef54f2c39 - Added EPS for manual. 2007-01-29 21:51:59 +00:00
ccremers
41d811a49a - Improved error output with line number syntax. 2007-01-29 17:20:45 +00:00
ccremers
33df1ccb5b - Enabled Scintilla editor 2007-01-29 16:32:35 +00:00
ccremers
df62d65d5c - Fixes to error output 2007-01-29 15:17:11 +00:00
ccremers
cf84e83f9f - Scanned protocols for new obligatory check. 2007-01-29 15:05:15 +00:00
ccremers
9ca722e3cc - Added automatic checking of label correspondence. This will break [BREAK ALERT] some protocol files, e.g. those with weird roles. Fix them by prefixing the bang 'make' for ignoring labels. 2007-01-29 13:15:35 +00:00
ccremers
df9a5a58ac - Embedded bike picture now, which is what you want. 2007-01-28 19:48:00 +00:00
ccremers
2a3d41e60c - Added improved wheel. 2007-01-28 19:35:23 +00:00
ccremers
5d0b15e292 - Reinstated the graphical about screen. 2007-01-27 22:52:22 +00:00