Syntax highlighting for VDM

6. February 2010

Here are language files for VDM:

  • VDM-SL
  • VDM-PP
  • VDM-RT

vdm.lang (9.94 kb)

vdmpp.lang (10.15 kb)

vdmrt.lang (10.25 kb)

vdmsl.lang (9.95 kb)

vpp.lang (10.14 kb)

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Tools, Ubuntu

DebugView

4. February 2010

DebugView is an application to monitor debug output.

From Microsoft TechNet:

DebugView is an application that lets you monitor debug output on your local system, or any computer on the network that you can reach via TCP/IP. It is capable of displaying both kernel-mode and Win32 debug output, so you don't need a debugger to catch the debug output your applications or device drivers generate, nor do you need to modify your applications or drivers to use non-standard debug output APIs.

Link

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Windows Vista, Tools, C#

Firefox plug-in for text encoding and decoding

8. January 2010

Here is a small Firefox plug-in which enables you to do encoding and decoding of text between different encodings.

http://leetkey.mozdev.org/index.html

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Tools

Lidt sne billeder fra december 2009

3. January 2010

Ja vi fik lidt sne i løbet af december 2009. Her er lidt aften billeder som det så ud 22. December om aftenen.

IMG_5832

Ja lidt sne i forhaven kan man vel godt kalde det.

driveway

Og lidt sne i indkørslen er der da os.

IMG_5853

Men der er dog rydet så busserne kan køre.

IMG_5877

IMG_5827 IMG_5854

IMG_5867

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Enable Japanese characters in Windows and Eclipse

16. December 2009

To enable the Japanese characters (Shift-JIS) the operation system needs to install the fonts.

This is how to do it in Windows Xp:

  1. Install the fonts. This is done in the Regional Options under languagesclip_image001
  2. Select the Install files for East Asian languages. The windows cd is needed.
  3. After this a restart is needed.
  4. In Eclipse select properties of the file which contains Japanese characters and select Test file encoding.
  5. Chose: UTF-8 and click ok.
    image
  6. Now you can open the file with any editor in Eclipse and it should show the file correctly.

 

Here is a link to a site which describes how to do the same for other operation systems.

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Eclipse, Windows Vista

Small guide for basic Shell commands

21. November 2009

Oreilly online book chapter: link

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Ubuntu, Linux

Low level keyboard hook

21. November 2009

Here is a small example of how to create a low level keyboard hook with the Win32 API. Example can be found here.

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

C#

Command Line Parser Library

21. November 2009

Here is a link to a C# command line parser library: link

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

C#

Command line interface for W-lan in Windows xp, vista, 7

14. November 2009

Windows has a command line interface for the wireless profiles, here are a few commands which can be usefulle:

  • netsh wlan show profiles (show all profiles)
  • netsh wlan export profile name=”NetworknetForFree” folder=C:\
    • If the profile name is left out all profiles are exported
  • netsh wlan add profile filename=”c:\Wireless Network Connection-NetworknetForFree.xml” user=all

 

Read the hole post here

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Maven and SourceForge

8. October 2009

To get the most of Maven you properly want to use features like the site and deploy plug-ins. Here you can build modules of a project and upload them so other just can use them. With the site plug-in you can easily make documentation from your javadoc and the information from the Maven structure is automatically included as the core structure in the website.

SourceForge

Integration guides

Maven 2 general plug-ins links

Maven goals

  • mvn site:stage -DstagingDirectory=C:\site
  • mvn site-deploy

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Maven2