Commits · 83776565eb60417da0fa54389b8a4431a6c83ce2 · clean-and-itasks / clm

02 Jul, 2002 9 commits
- New linux Makefile. · 83776565
  Ronny Wichers Schreur authored Jul 02, 2002
  
  83776565
- Only disable SIGALRM (timer events) during compilation on Linux. · 2a8f956b
  Ronny Wichers Schreur authored Jul 02, 2002
  
  2a8f956b
- prepare for disposing unused icons · 323949d2
  Diederik van Arkel authored Jul 02, 2002
  
  323949d2
- remove unused import · c0e27ee6
  Diederik van Arkel authored Jul 02, 2002
  
  c0e27ee6
- ensure main module linked first · 3033d944
  Diederik van Arkel authored Jul 02, 2002
  
  3033d944
- ensure correct project root · d872622e
  Diederik van Arkel authored Jul 02, 2002
  
  d872622e
- improve module open handling · b564d0f5
  Diederik van Arkel authored Jul 02, 2002
  
  b564d0f5
- remove 'replace by nothing' restriction · 083319ad
  Diederik van Arkel authored Jul 02, 2002
  
  083319ad
- avoid problem with strict lists for large input files · 0ce044f2
  Diederik van Arkel authored Jul 02, 2002
  
  0ce044f2
01 Jul, 2002 2 commits
- Corrected syntax glitch. · 7cb3b849
  Ronny Wichers Schreur authored Jul 01, 2002
  
  7cb3b849
- Always append current directory to cocl search paths. · d8e5ac5f
  Ronny Wichers Schreur authored Jul 01, 2002
  
  d8e5ac5f
28 Jun, 2002 1 commit
- allow application relative paths in project paths · 5aa7443e
  John van Groningen authored Jun 28, 2002
  
  5aa7443e
27 Jun, 2002 2 commits
- renamed GenCodeProjectModule to CompileAndGenCodeProjectModule · 193eeebe
  John van Groningen authored Jun 27, 2002
  
  193eeebe
- removed ignored !'s · 207b0121
  John van Groningen authored Jun 27, 2002
  
  207b0121
25 Jun, 2002 1 commit

Disable SIGALRM (timer events) during compilation. This will make the · 851197f3

Ronny Wichers Schreur authored Jun 25, 2002

CleanIDE less responsive, but at least it works under SysV signal
semantics (where signals during system calls make the system call fail).

851197f3

24 Jun, 2002 1 commit
- Fixed wait_for_child handling. · e70ea6d9
  Ronny Wichers Schreur authored Jun 24, 2002
  
  e70ea6d9
20 Jun, 2002 1 commit
- Removed dependency on local path. · 16df162b
  Ronny Wichers Schreur authored Jun 20, 2002
  
  16df162b
19 Jun, 2002 1 commit
- Optional logging · 844eaa6e
  Ronny Wichers Schreur authored Jun 19, 2002
  
  844eaa6e
11 Jun, 2002 3 commits
- Initial import · a859d213
  Ronny Wichers Schreur authored Jun 11, 2002
  
  a859d213
- Removed patch_bin calls · 0fc98d69
  Ronny Wichers Schreur authored Jun 11, 2002
  
  0fc98d69
- Initial import · a92f252a
  Ronny Wichers Schreur authored Jun 11, 2002
  
  a92f252a
25 Feb, 2002 2 commits
- Mac integration mods · 8e76170d
  Diederik van Arkel authored Feb 25, 2002
  
  8e76170d
- larger edit boxes · 9d05b9ee
  Diederik van Arkel authored Feb 25, 2002
  
  9d05b9ee
20 Feb, 2002 1 commit
- Fix ask for save:Yes being ignored bug · e35e0e37
  Diederik van Arkel authored Feb 20, 2002
  
  e35e0e37
13 Feb, 2002 6 commits
- move tools to platform directory · 1ecc476c
  Diederik van Arkel authored Feb 13, 2002
  
  1ecc476c
- Set mac specific pref to mac specific value · bda2de4d
  Diederik van Arkel authored Feb 13, 2002
  
  bda2de4d
- Move tools to platform directory · f5fe356d
  Diederik van Arkel authored Feb 13, 2002
  
  f5fe356d
- Mac specific · f5142ac0
  Diederik van Arkel authored Feb 13, 2002
```
Move keymapping to platform module
```
  f5142ac0
- minor integration mods · 3f5b77cf
  Diederik van Arkel authored Feb 13, 2002
  
  3f5b77cf
- remove unused uniqueness · 658d0949
  Diederik van Arkel authored Feb 13, 2002
  
  658d0949
12 Feb, 2002 4 commits
- Small editor efficiency improvements · efb6190a
  Diederik van Arkel authored Feb 12, 2002
  
  efb6190a
- Support carb resource · 9b871310
  Diederik van Arkel authored Feb 12, 2002
  
  9b871310
- Remove unused strictness annotations · fb44cf14
  Diederik van Arkel authored Feb 12, 2002
  
  fb44cf14
- Mass update mac version · 529f6d47
  Diederik van Arkel authored Feb 12, 2002
  
  529f6d47
11 Feb, 2002 1 commit
- Move batch platform dependencies to os-layer · 68f07a7f
  Diederik van Arkel authored Feb 11, 2002
  
  68f07a7f
02 Jan, 2002 2 commits
- Fix page forward instead of page back bug · 2879908f
  Diederik van Arkel authored Jan 02, 2002
  
  2879908f
- Switched off time/heap profiling · 015d7e6f
  Diederik van Arkel authored Jan 02, 2002
  
  015d7e6f
20 Dec, 2001 1 commit
- Ensure project is saved before prover is launched. · 3b7ca777
  Diederik van Arkel authored Dec 20, 2001
  
  3b7ca777
19 Dec, 2001 2 commits
- Add patched osbitmap · 337aafe6
  Diederik van Arkel authored Dec 19, 2001
  
  337aafe6
- Final? changes for Clean 2.0 release · 1b60239a
  Diederik van Arkel authored Dec 19, 2001
  
  1b60239a