Saturday, August 11, 2012

Installing Latex (Miktex+Winedt platform) in windows 7

courtesy: Jinu jayachandran (IIT Bombay)
Note: To use latex in windows, you can use the softwares Mikitex and Winedt

1.install the mikitex 2.9
2.Install Winedit 7
3. Start->mikitex 2.9->maintenance->settings->general->change the preference for ‘install missing packages on-the-fly’ to ‘yes’
4. Start->mikitex 2.9->maintenance(admin)->package manager->repository->change package repository->click ‘packages shall be installed from internet’-> give proxy settings and tick ‘authentication required’-> next->give ldap username and password
5. select any repository
6. Start->mikitex 2.9->maintenance(admin)->package manager->repository->synchronise
7.Start->mikitex 2.9->maintenance(admin)->update(admin) and update by selecting ‘use nearest package repository’ and give proxy settings

Now you can start using mikitex using winedit interface.


download MikiTex 2.9
download Winedt 7
userguide

Note:The ldap id and password is meant for IIT Bombay students. Others please set their proxy settings accordingly

VIS & VL2MV

18/01/2016: -----------     Installing VIS model checker     ----------------------------         Download from: http://vlsi.colorado.edu/~...