tag: imac Macs Core2Duo 2.0GHz/2GB/250GB/ATI2400XT/20"/DVD Sistema Operativo: Mac OS X Lion Mac OS X Lion Development Tools (XCode) Eclipse 4.4 JacORB 3.5 Subversion-client 1.8.10 Aquamacs-Emacs 3.0a MacTeX 2016 CoqIDE 8.4 Coq 8.4 MacPorts 2.3.4 Ghc 7.10.2 Alloy 4.2 SciLAB 5.5.0 VDMTools 9.0.4 Virtual Box 4.3.40 (+ Oracle VM VirtualBox Extension Pack) Firefox 48.0.2 Chrome 49.0 JAVA8U101 SublimeText 2.0.2 Octave 3.8.2 Visual Paradigm 13.2 (Standard) NOTA: Para entrar usar a conta diguest com a password diguest.