13 April 2010, 11:56 | #61 |
HOL/FTP busy bee
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,522
|
http://hol.abime.net/91
Language selection screen : Languages : English, French, German, Italian And two new screenshots for The Clue! CD32 : |
13 April 2010, 20:05 | #62 |
Registered User
Join Date: Feb 2008
Location: Federativnaya Respublika Germaniya
Posts: 4,994
|
Thanks added.
Dont stop your contributions, it is worth! |
14 April 2010, 08:11 | #63 |
HOL/FTP busy bee
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,522
|
Will see what I can do mai
http://hol.abime.net/3959 A bit vague, but all the reviews are from 1991 and also EAGER states it as the release date : http://eager.back2roots.org/DATA/1/16BI.html http://hol.abime.net/4596 Max players : 1 Sim players : 1 http://hol.abime.net/3461 Max players : 1 Sim players : 1 http://hol.abime.net/1709 and http://hol.abime.net/1541 Credits : Artist - coder : Michael Knauer Artist - graphician : Jeff Godfrey, John Duggan, Terry Lloyd Artist - misc : Michael Knauer, John Cutter, Jerry Albright (you might want to add or leave out some ) http://hol.abime.net/3190 Credits : Artist - coder : M. Lister Artist - graphician : Nix, M. Potente http://hol.abime.net/3543 Found on the disk : "Amiga version by C.J.Jones-Steele" Artist - coder : C. J. Jones-Steele Two screenshots for a new DBS : (the first one is the closest to a title screen you can get ) http://hol.abime.net/3202 Found on the disk : "Adventures Through Time Vol. 1: The Scavenger Hunt Created by Keith Golden (C) 1989 Aurum Software" Artist - misc : Keith Golden Not sure if that's enough to put him as 'Artist - coder'. http://hol.abime.net/5598 It's on the DBS "Written by Andreas Spreen" Artist - coder : Andreas Spreen http://hol.abime.net/5605 Found on the disk : "AirAce2 is a game designed by Robert Grace of Kansas City, Missouri, USA" Artist - coder : Robert Grace Since it's a SEUCK game I'm not too sure about 'coder' here though (maybe just 'misc' instead) http://hol.abime.net/3222 'Real' credits screen : Artist - coder : Andi Smithers Artist - graphician : Dan Scott Artist - musician : Ian Davenport Max players : 1 Sim players : 1 Last edited by TCD; 14 April 2010 at 18:23. |
15 April 2010, 09:18 | #64 |
HOL/FTP busy bee
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,522
|
http://hol.abime.net/3487
Found on the disk : "A I R P O R T Eine Flugsicherungs-Simulation mit Flughafen-Editor von Axel Ilenburg & Gerold Schickram" Since it's not said what they did, I think it should be Artist - misc : Axel Ilenburg, Gerold Schickram Max players : 1 Sim players : 1 http://hol.abime.net/3491 Found on the disk : "ALBEDO (c) MYRIAD 1988 a ‚t‚ con‡u, dessin‚, programm‚, et d‚bugg‚ par Didier et Olivier GUILLION assist‚s de Jean-Michel GEORGES et Gilles SOULET. d'Octobre 87 … Juin 88." With the help of Google translation () I got this : Artist - coder : Didier Guillion, Olivier Guillion Artist - graphician : Didier Guillion, Olivier Guillion Artist - misc : Jean-Michel Georges, Gilles Soulet http://hol.abime.net/3493 and http://hol.abime.net/3727 Credit screens (same for both versions) : Artist - coder : Maciej Frontkiewicz Artist - graphician : Ryszard Baginski Artist - musician : Michał Prochownik Max players : 1 Sim players : 1 http://hol.abime.net/3496 Found on the disk : "Stefan ossowski praesentiert: ein spiel von: harald mueller" Artist - coder : Harald Müller Max players : 1 Sim players : 1 http://hol.abime.net/3497 Number of disks : 1 Max players : 2 Sim players : 2 Artist info is the same as http://hol.abime.net/5195 http://hol.abime.net/3245 Max players : 1 Sim players : 1 http://hol.abime.net/3247 Max players : 1 Sim players : 1 http://hol.abime.net/875 Found in the file 'L3MAIN' of the WHDLoad install : "AMIGA PROGRAMMING - ALLAN FINLAY, CAMERON RATTRAY, ANDY WHYTE... GAME GRAPHICS - ANDOLF, DARREN BAINES, KEN FEE, LENNY LANE, PAT MCGOVERN, OZ, STEWART WATERSON LEMMING ANIMATION - GARY TIMMONS 3D ANIMATION - LENNY LANE LEVEL DESIGN - ANDOLF, CRAIG ARBUTHNOTT, TONY COLGAN, KEN FEE, MARTIN GOOD, PAT MCGOVERN, OZ, GARY TIMMONS, RAYMOND USHER, STEWART WATERSON, KEITH WHELAN, JOHN WHYTE... MUSIC - COLIN ANDERSON, RAYMOND USHER..." Phew... Okay here's the list then : Artist - coder : Allan Finlay, Cameron Rattray, Andy Whyte Artist - graphician : Andolf, Darren Baines, Ken Fee, Lenny Lane, Pat McGovern, Oz, Stewart Waterson, Gary Timmons Artist - musician : Colin Anderson, Raymond Usher Artist - misc : Andolf, Craig Arbuthnott, Tony Colgan, Ken Fee, Martin Good, Pat McGovern, Oz, Gary Timmons, Raymond Usher, Stewart Waterson, Keith Whelan, John Whyte http://hol.abime.net/3503 Max players : 1 Sim players : 1 http://hol.abime.net/5599 Max players : 2 Sim players : 2 http://hol.abime.net/4480 Max players : 2 Sim players : 1 http://hol.abime.net/2494 Credit screens : Artist - coder : Andreas Herbst, Kurt Cotoaga Artist - graphician : Jochen Hack, Tural Inan Artist - musician : Kurt Cotoaga Artist - misc : Kurt Cotoaga, Andreas Herbst http://hol.abime.net/3515 Found on the second disk : "$25 for the full game and AMOS source code, as well as the graphics from the game. INTERESTED? If you are send the cash to: Jim Georgeadis 1039 75 Avenue SW Calgary, Alberta T2V 0S7 CANADA" Artist - coder : Jim Georgeadis Artist - graphician : Jim Georgeadis http://hol.abime.net/3291 HD install script is on the first disk in the 'c' folder. http://hol.abime.net/3526 Number of disks : 1 Last edited by TCD; 15 April 2010 at 17:54. |
16 April 2010, 09:34 | #65 |
HOL/FTP busy bee
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,522
|
Hope you're still with me mai
http://hol.abime.net/5752 Has a level editor on the disk. Can be installed to HD by simply copying the files over. http://hol.abime.net/3304 Credit screen : Artist - coder : Olaf Hörnlein Artist - graphician : Thilo Blochmann, Olaf Hörnlein Artist - musician : Daniel Pudenz, Olaf Hörnlein Artist - misc : Olaf Hörnlein, Murad Mbarki Max players : 2 Sim players : 1 http://hol.abime.net/3313 Found on disk 2 : "ARMOUR-GEDDON II COPYRIGHT PSYGNOSIS LTD. 1994 Program code, design & 3D graphics Paul Hunter... Graphics design Andrew Ingram, Stefan Osypanka and Martin Edmundson Animation sequences Stefan Osypanka Animation code Paul Hunter Further game design Nick Burcombe... Many thanks to: Stewert Sargaison (Disk fix) Fiona Wilbraham (Sexy scouse voice) ... Raoul Barnett (AGA stuff)" Artist - coder : Paul Hunter Artist - graphician : Andrew Ingram, Stefan Osypanka, Martin Edmundson Artist - misc : Stefan Osypanka, Nick Burcombe, Stewert Sargaison, Fiona Wilbraham, Raoul Barnett http://hol.abime.net/3531 Number of disks : 1 Max players : 1 Sim players : 1 http://hol.abime.net/3329 Max players : 1 Sim players : 1 http://hol.abime.net/3534 Found on the disk : "NAPISAL: SLAWOMIR JURALOWICZ" Translation : "Written by: SLAWOMIR JURALOWICZ" Artist coder : Slawomir Juralowicz Number of disks : 1 http://hol.abime.net/3338 Found on the CD image (or on the credit screen ) : "ATR CREDITS coding: jamie woodhouse art+graphics: danny burke design: jamie and danny music+sfx: allister brimble" Artist - coder : Jamie Woodhouse Artist - graphician : Danny Burke Artist - musician : Allister Brimble Artist - misc : Jamie Woodhouse, Danny Burke Number of disks : 1 Max players : 6 Sim players : 2 http://hol.abime.net/3537 Max players : 2 Sim players : 1 http://hol.abime.net/55 Found on disk 1 : "STORY, DESIGN AND LEAD PROGRAMMER HERVE LANGE ART OLIVIER CORDOLEANI MOHAND ZENNADI PROGRAMMERS FRANCK JEANNIN OLIVIER CROSET PHILIPPE DERAMBURE HERVE LANGE DOMINIQUE BOURE ANDRE VILLARD OLIVIER ROBIN MUSICAL SCORE AND SOUND EFFECTS OLIVIER ROBIN ADDITIONNAL ART PASCALE TESSON LAURENT LEFRANCOIS FRANCOIS RIMASSON FREDERIC MOLINARO" Artist - coder : Herve Lange, Franck Jeannin, Olivier Croset, Philippe Derambure, Dominique Boure, Andre Villard, Olivier Robin Artist - graphician : Olivier Cordoleani, Mohand Zennadi, Pascale Tesson, Laurent Lefrancois, Francois Rimasson, Frederic Molinaro Artist - musician : Olivier Robin Artist - misc : Herve Lange http://hol.abime.net/4794 Taken from the demo version : Max players : 1 Sim players : 1 Language : English Hardware : AGA http://hol.abime.net/41 Found on disk 1 : "Credits Programming: Timothy Cain John Philip Britt Greg Christensen Amiga Version: Scott Carney Art: Robert Nesler Hayato Ochiai Dave Nelson Cheryl Austin S. Tom Tanaka Brian Giberson Todd Camasta David Mosher Charles H.H. Weidman III Music: Charles Deenen Jim Sproul Amiga Version: Jeroen Tel Sound Effects: Jacob R. Buchert III Charles Deenen Amiga Version: Jeroen Tel" Artist - coder : Scott Carney Artist - graphician : Robert Nesler, Hayato Ochiai, Dave Nelson, Cheryl Austin, S. Tom Tanaka, Brian Giberson, Todd Camasta, David Mosher, Charles H.H. Weidman III Last edited by TCD; 16 April 2010 at 18:17. |
17 April 2010, 13:35 | #66 |
Registered User
Join Date: Feb 2008
Location: Federativnaya Respublika Germaniya
Posts: 4,994
|
Thanks, all done.
|
18 April 2010, 09:15 | #67 |
HOL/FTP busy bee
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,522
|
Thanks a lot mai
|
19 April 2010, 08:03 | #68 |
HOL/FTP busy bee
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,522
|
http://hol.abime.net/39
Found on the disk : "THE DESTINY KNIGHT AMIGA was an original design by Michael Cranford. It was created at Interplay Productions, in Newport Beach, California. Interplay wishes to express its gratitude to a number of people who worked on THE DESTINY KNIGHT: Todd Camasta (Artwork) Troy P. Worrell (Programming) Dave Warhol Aarn Abbey (Music) Brian Fargo (Dungeons) Joe Ybarra (Producer)" Artist - coder : Troy P. Worrell Artist - graphician : Todd Camasta Artist - musician : Dave Warhol, Aarn Abbey Artist - misc : Brian Fargo, Michael Cranford http://hol.abime.net/5282 Max players : 1 Sim players : 1 http://hol.abime.net/61 and http://hol.abime.net/62 Found in the file 'chessstuff' of the WHDLoad install : "Copyright 1988 Interplay Productions Programmed By: Micheal Quarles Jay Patel Troy Worrell Designed By: Interplay Productions Produced By: Brian Fargo Artwork By: Todd J. Camasta Bruce Schlickbernd Sound FX By: Kurt Heiden" Artist - coder : Michael Quarles, Jay Patel, Troy P. Worrell Artist - graphician : Todd J. Camasta, Bruce Schlickbernd Artist - musician : Kurt Heiden http://hol.abime.net/88 Credit screen : Artist - coder : Trevor C. Brown Artist - graphician : Steve Packer Artist - musician : Andrew McGinty Artist - misc : Jon Harrison, Carl Entwistle, Julian Scott Max players : 1 Sim players : 1 http://hol.abime.net/93 From the file 'main.exe' of the WHDLoad install : "BENEFACTOR $ 1994 DIGITAL ILLUSIONS THIS "AMIGA CD32" VERSION IS LICENSED TO PSYGNOSIS LTD. PROGRAMMING: THOMAS ANDERSSON GRAPHICS: PATRIK BERGDAHL ORIGINAL MUSIC: OLOF GUSTAFSSON CHIEF PUZZLER: FREDRIK LILIEGREN CD MUSIC AND MIXING: MAGNUS WALTERSTAD" Artist - coder : Thomas Andersson Artist - graphician : Patrik Bergdahl Artist - musician : Magnus Walterstad, Olof Gustafsson Artist - misc : Frederik Liliegren http://hol.abime.net/4701 Credit screen : Artist - misc : S. Francis, I. Mesche, O. Stiller, R. Straub 'Touch of Magic' should be the dev and 'Art Department' should be the publisher (with BiFi Roll) http://hol.abime.net/4702 Second logo screen : So again, 'freelance Development' should be the dev and 'Art Department' should be the publisher (with BiFi Roll) Last edited by TCD; 19 April 2010 at 17:30. |
20 April 2010, 09:23 | #69 |
HOL/FTP busy bee
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,522
|
http://hol.abime.net/858
Language selection : Languages : English, French, German Max players : 2 Since it's a game you have to play over serial, I can't check if it's two players sim or not. http://hol.abime.net/3623 Found on the DBS Artist - coder : Bill Milam Artist - misc : Mark Ache http://hol.abime.net/3648 Found on the disk : "CREDITS ~~~~~~~ DESIGN, CONCEPT AND CODING........................Andrew Campbell GRAPHICS AND MONSTERS..............James Dearie & Andrew Campbell SOUNDTRACK......................................Graeme `Q' Virtue" Artist - coder : Andrew Campbell Artist - graphician : James Dearie, Andrew Campbell Artist - musician : Graeme 'Q' Virtue http://hol.abime.net/5226 Max players : 1 Sim players : 1 http://hol.abime.net/5137 As Asman pointed out here, the game name should be 'Ami Mind' instead of 'Amiga Mind'. Both the disk and the file on the disk are named that way aswell as the main screen shows it. http://hol.abime.net/147 Max players : 2 Sim players : 1 http://hol.abime.net/3390 Max players : 1 Sim players : 1 http://hol.abime.net/149 Credit screen : Artist - misc : James Kelliher, Simon Young Max players : 1 Sim players : 1 http://hol.abime.net/159 Credit screen : Artist - misc : Tuukka Salonen, Saku Lehtinen Max players : 1 Sim players : 1 Last edited by TCD; 20 April 2010 at 17:53. |
21 April 2010, 09:58 | #70 |
HOL/FTP busy bee
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,522
|
http://hol.abime.net/4470
HD notes : Copy the following files to your HD Bolo Bolo.info Bolo.dat Bolo.exe Games works fine from HD then. http://hol.abime.net/3386 Credit screen : Artist - coder : Axel Kamphausen, Elmar Bransch Artist - graphician : Michael Gross, Arno Seiler Max players : 2 Sim players : 1 http://hol.abime.net/4378 Found on the disk : "BOMB X 1995 THE SCENE'S LEVELS - 50 NEW LEVELS ALL MADE BY... WONDER AND GANDALF OF OUTLAWS" Artist - misc : Wonder, Gandalf http://hol.abime.net/5608 Credit screens : Artists - coder : Time Thrust Artist - graphician : Demon, Tom Copper Artist - musician : Mel O'Dee http://hol.abime.net/4092 Found in the guide file on the disk : "Credits "Who to blame..." Programming - Ben Wyatt Graphics - Ben Wyatt Sound FX - BBSs and Internet" Artist - coder : Ben Wyatt Artist - graphician : Ben Wyatt http://hol.abime.net/193 Credit screen : Artist - coder : Dario Pennisi, Giuliano C. Peritore Artist - graphician : Dario Pennisi, Giuliano C. Peritore, Raffaele Valensise Artist - musician : Raffaele Valensise Max players : 2 Sim players : 1 http://hol.abime.net/4885 HD install is on the disk. http://hol.abime.net/201 Credit screen : Artist - misc : Thomas Carbone, William Leslie Max players : 1 Sim players : 1 http://hol.abime.net/202 and http://hol.abime.net/203 Max players : 1 Sim players : 1 Last edited by TCD; 21 April 2010 at 12:30. |
21 April 2010, 18:58 | #71 |
Registered User
Join Date: Feb 2008
Location: Federativnaya Respublika Germaniya
Posts: 4,994
|
All done, thanks again TCD!
|
27 April 2010, 09:39 | #72 |
HOL/FTP busy bee
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,522
|
...and thanks again mai
http://hol.abime.net/724 Credit screen : Artist - coder : Mark Brannon Artist - graphician : Jack Rollin Artist - misc : Jack Rollin, Mark Brannon Max players : 1 Sim players : 1 http://hol.abime.net/4163 Credit screen : Artist - coder : Mark Brannon Artist - graphician : Jack Rollin Artist - misc : Jack Rollin, Mark Brannon Max players : 1 Sim players : 1 http://hol.abime.net/4010 Max players : 1 Sim players : 1 http://hol.abime.net/205 Max players : 5 Sim players : 1 http://hol.abime.net/216 and http://hol.abime.net/5299 Found on the first disk (or the file 'cdbrutal' of the CD32 WHDLoad install) : "TEAM BRUTAL DESIGN ROD HUMBLE ARTWORK AND ANIMATION ANDIE GILMOUR DAVE HALL JUAN SANCHEZ ORIGINAL CODE DAVE EXILE AMIGA PROGRAM GORDON FONG MUSIC MATT TAYLOR" Artist - coder : Gordon Fong Artist - graphician : Andie Gilmour, Dave Hall, Juan Sanchez Artist - musician : Matt Taylor Artist - misc : Rod Humble http://hol.abime.net/5696 Max players : 1 Sim players : 1 http://hol.abime.net/228 Home page of the developer : http://www.made.net/~arcadia/Team.html Artist - coder : Andrea Morolli, Rossano Clementi, Marco 'nAo' Salvi Artist - graphician : Alan 'Alaska' Scarpellini, Igor Imhoff, Elena Amore, Massimo Lotti Artist - musician : Stefano Rossini http://hol.abime.net/247 Max players : 1 Sim players : 1 http://hol.abime.net/250 Max players : 4 Sim players : 4 HD notes : Can be installed to HD, but the [b] TOSEC disks misses some essential files. (uploaded a working HD version with all cars and music to the file server) http://hol.abime.net/5718 (thanks to mai ) Max players : 4 Sim players : 1 http://hol.abime.net/5249 Max players : 1 Sim players : 1 http://hol.abime.net/3423 The info on this one seems to be taken off gods-country.de. The demo is on the coverdisk for issue 16, not 15 of Zero (or AMR is wrong here). "Gerüchten zufolge, nicht von den Bitmap Bros. selbst, sondern von einer Gruppe namens 'Soldiers Of Hell'." 'Gerüchten zufolge' means 'According to rumours' and even if TOSEC kinda agrees here, I think it's better just to leave this one blank, since there isn't any real proof. If there is some other proof for this it would be great to have a link Last edited by TCD; 27 April 2010 at 17:59. |
28 April 2010, 09:40 | #73 |
HOL/FTP busy bee
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,522
|
http://hol.abime.net/5114
Found on the CD : "BUN_FOR_BARNEY MULTIMEDIA_CORPORATION" (it's also the first picture you see when you boot the CD) Developer : MultiMedia Corporation Max players : 1 Sim players : 1 http://hol.abime.net/2916 and http://hol.abime.net/2651 Max players : 2 http://hol.abime.net/2918 Credit screens for the CD32 version : Artist - coder : Julian Jameson (Jools) Artist - graphician : Stoo Cambridge (Stuart) Artist - musician : Jon Hare (Jovial Jops), Richard Joseph (not sure about the CD32 conversion credits here...) http://hol.abime.net/4759 Found on the disk : "Program Design Jools Graphic Design Stoo Sound effects and Music Richard Joseph Original Soundtrack Jon Hare" Artist - coder : Julian Jameson (Jools) Artist - graphician : Stoo Cambridge (Stuart) Artist - musician : Jon Hare (Jovial Jops), Richard Joseph http://hol.abime.net/4380 Note : Is on the coverdisk of Amiga Power #45 (http://amr.abime.net/issue_45_coverdisks) http://hol.abime.net/4192 Language : English Last edited by TCD; 28 April 2010 at 13:07. |
28 April 2010, 17:15 | #74 |
Registered User
Join Date: Feb 2008
Location: Federativnaya Respublika Germaniya
Posts: 4,994
|
Updated, well done TCD and thanks again!
|
29 April 2010, 09:24 | #75 |
HOL/FTP busy bee
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,522
|
|
29 April 2010, 09:32 | #76 | |
Registered User
Join Date: Feb 2008
Location: Federativnaya Respublika Germaniya
Posts: 4,994
|
Quote:
|
|
29 April 2010, 09:39 | #77 |
HOL/FTP busy bee
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,522
|
Manually copied. It does work on KS/WB 3.x if AGA is disabled.
http://hol.abime.net/3759 Credit screens : Artist - coder : Thomas Sutor Artist - graphician : Gerald Bühner, Thomas Sutor Artist - musician : Gerald Bühner, Thomas Sutor Artist - misc : Gerald Bühner, Thomas Sutor http://hol.abime.net/4187 Max players : 1 Sim players : 1 http://hol.abime.net/5440 Max players : 2 (Roulette offers a two player option) Sim players : 1 http://hol.abime.net/2948 Amiga specific credit screens : (Amiga specific because I have 5 more screenshots with credits... Tell me if I should list them all ) Artist - coder : Steven Coallier, Chris Carr, Jerry Shaw Artist - graphician : Phyllis Cucchiara Artist - musician : Aubrey Hodges HD installer is on the first disk. Last edited by TCD; 29 April 2010 at 11:30. |
29 April 2010, 13:15 | #78 |
Registered User
Join Date: Feb 2008
Location: Federativnaya Respublika Germaniya
Posts: 4,994
|
Thanks, updated.
|
29 April 2010, 13:39 | #79 |
HOL/FTP busy bee
Join Date: Sep 2006
Location: Germany
Age: 46
Posts: 31,522
|
Any thoughts about the credits for Dr. Brain mai? There are really a lot of people on those other 5 screenshots
http://hol.abime.net/2953 Credit screen (at least kind of ) : Péter Agócs is listed as a coder for Novotrade on Blades of Steel : http://hol.abime.net/139 Artist - coder : Péter Agócs Artist - misc : Tamás Patrovits, Zoltan Tóth, József Molnár http://hol.abime.net/2954 Max players : 1 Sim players : 1 http://hol.abime.net/4295 From the DBS : Artist - misc : Ian Coombe, Caroline Coombe http://hol.abime.net/2958 HD install (both English and German) on the first disk. Last edited by TCD; 29 April 2010 at 17:27. |
29 April 2010, 18:33 | #80 | ||
Registered User
Join Date: Feb 2008
Location: Federativnaya Respublika Germaniya
Posts: 4,994
|
Quote:
Quote:
HOL has "Coombe Valley" listed as a publisher. |
||
Currently Active Users Viewing This Thread: 1 (0 members and 1 guests) | |
Thread Tools | |
Similar Threads | ||||
Thread | Thread Starter | Forum | Replies | Last Post |
Is this still an ongoing project? | garyg | AMR suggestions and feedback | 17 | 04 October 2010 22:25 |
Ignored Another World HOL data problems threads | Another World | HOL data problems | 0 | 21 September 2008 15:24 |
WindowsKiller's HOL data problems thread | derSammler | HOL data problems | 32 | 06 December 2005 11:50 |
Problems with HOL 2 arghh! help please | silkworm | HOL suggestions and feedback | 18 | 15 December 2004 21:28 |
|
|