October 2005 - Cvs-hugs

cvs commit: hugs98/src type.c
by Ross Paterson 29 Oct '05

29 Oct '05

ross 2005/10/29 04:40:50 PDT Modified files: src type.c Log: When checking for escaping skolem type variables, check preds too. Formerly Hugs accepted data T = forall a. C a test (C x) = toInteger x The error message is poor though. Revision Changes Path 1.80 +3 -2 hugs98/src/type.c

1 0

cvs commit: hugs98 Makefile hugs98/libraries/tools convert_libraries
by Sven Panne 18 Oct '05

18 Oct '05

panne 2005/10/18 06:37:31 PDT Modified files: . Makefile libraries/tools convert_libraries Log: Hook ALUT package into build system. Revision Changes Path 1.63 +1 -1 hugs98/Makefile 1.27 +1 -1 hugs98/libraries/tools/convert_libraries

1 0

cvs commit: hugs98/src/winhugs/installer StartCode.cpp
by Neil Mitchell 14 Oct '05

14 Oct '05

neil 2005/10/14 09:00:17 PDT Modified files: src/winhugs/installer StartCode.cpp Log: WinHugs installer: run WinHugs after the user has dismissed the installer, so they do not steal focus from each other Revision Changes Path 1.6 +5 -5 hugs98/src/winhugs/installer/StartCode.cpp

1 0

cvs commit: hugs98/src/winhugs/installer StartCode.cpp
by Neil Mitchell 14 Oct '05

14 Oct '05

neil 2005/10/14 08:48:41 PDT Modified files: src/winhugs/installer StartCode.cpp Log: WinHugs installer: output relative file paths, so if the user moves the installation directory it can still be uninstalled Revision Changes Path 1.5 +1 -1 hugs98/src/winhugs/installer/StartCode.cpp

1 0

cvs commit: hugs98/src/winhugs/installer ShellCode.cpp
by Neil Mitchell 14 Oct '05

14 Oct '05

neil 2005/10/14 08:47:28 PDT Modified files: src/winhugs/installer ShellCode.cpp Log: Fix bug in WinHugs installer, the log format was wrong for created shortcuts Revision Changes Path 1.4 +1 -1 hugs98/src/winhugs/installer/ShellCode.cpp

1 0

cvs commit: hugs98/src/winhugs/installer Parameters.h ShellCode.cpp ShellCode.h StartCode.cpp
by Ross Paterson 12 Oct '05

12 Oct '05

ross 2005/10/12 06:03:19 PDT Modified files: src/winhugs/installer Parameters.h ShellCode.cpp ShellCode.h StartCode.cpp Log: from Neil Mitchell: add an icon to the Windows Add/Remove programs dialog to uninstall winhugs. Revision Changes Path 1.2 +2 -0 hugs98/src/winhugs/installer/Parameters.h 1.3 +40 -13 hugs98/src/winhugs/installer/ShellCode.cpp 1.2 +1 -0 hugs98/src/winhugs/installer/ShellCode.h 1.4 +1 -0 hugs98/src/winhugs/installer/StartCode.cpp

1 0

WinHugs Installer, add uninstall icon
by Neil Mitchell 12 Oct '05

12 Oct '05

Hi, This patch adds an icon to the Windows Add/Remove programs dialog to uninstall winhugs. This is probably it on changes to the installer to support uninstallation. Thanks Neil

1 0

cvs commit: hugs98/src/winhugs/installer Installer.vcproj
by Ross Paterson 12 Oct '05

12 Oct '05

ross 2005/10/12 05:49:44 PDT Modified files: src/winhugs/installer Installer.vcproj Log: from Neil Mitchell: remove reference to a non-existent file from Pingus. Revision Changes Path 1.4 +0 -3 hugs98/src/winhugs/installer/Installer.vcproj

1 0

cvs commit: hugs98/src/winhugs/installer InstallLog.cpp InstallLog.h
by Ross Paterson 12 Oct '05

12 Oct '05

ross 2005/10/12 05:48:18 PDT Added files: src/winhugs/installer InstallLog.cpp InstallLog.h Log: from Neil Mitchell: extra files for the previous commit

1 0

WinHugs Installer, remove Pingus reference
by Neil Mitchell 12 Oct '05

12 Oct '05

Hi, This removes an old (and not present) file from the visual studio project, it was left over from when this was a Pingus installer. Thanks Neil

1 0