- 20 Oct, 2003 1 commit
-
-
Ronny Wichers Schreur authored
-
- 17 Oct, 2003 14 commits
-
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
-
John van Groningen authored
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
to start the profilers
-
Ronny Wichers Schreur authored
pass stack size with -Xlinker
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
-
- 16 Oct, 2003 4 commits
-
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
use the standard modules instead
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
-
- 15 Oct, 2003 7 commits
-
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
-
Ronny Wichers Schreur authored
-
Maarten de Mol authored
Renamed theorem "not_not" to "remove_double_negation" to prevent naming conflicts with section ints.
-
Diederik van Arkel authored
-
Diederik van Arkel authored
-
- 14 Oct, 2003 1 commit
-
-
Ronny Wichers Schreur authored
-
- 13 Oct, 2003 3 commits
-
-
Ronny Wichers Schreur authored
-
John van Groningen authored
clean type is not specified
-
Ronny Wichers Schreur authored
-
- 10 Oct, 2003 2 commits
-
-
John van Groningen authored
-
John van Groningen authored
-
- 08 Oct, 2003 8 commits
-
-
Ronny Wichers Schreur authored
-
John van Groningen authored
-
Maarten de Mol authored
- Project file updated to directory structure with 'Tools' and 'Libraries' instead of 'Tools Sparkle' and 'Libraries Sparkle'; - Removed temporary debugging code from ChangeDefinition.icl
-
Maarten de Mol authored
-
Maarten de Mol authored
-
John van Groningen authored
-
Maarten de Mol authored
-
Maarten de Mol authored
Added: field to CModule to indicate number of data-constructors in a DCL-module, not counting dictionary-creators. Updated: support for recognizing dictionay creators by means of temporary translation to classes.
-