Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/nbproject/genfiles.properties
author immler@in.tum.de
Sun, 11 Jan 2009 13:16:35 +0100
changeset 34465 ccadbf63e320
parent 34381 a94d2fb96fd5
child 34536 f0df6a866aa7
permissions -rw-r--r--
added EventBus for new command- or keyword-declarations

build.xml.data.CRC32=d2379ac2
build.xml.script.CRC32=2db9d955
build.xml.stylesheet.CRC32=ca9d572e
# This file is used by a NetBeans-based IDE to track changes in generated files such as build-impl.xml.
# Do not edit this file. You may delete it but then the IDE will never regenerate such files for you.
nbproject/build-impl.xml.data.CRC32=8f41dcce
nbproject/build-impl.xml.script.CRC32=828f71d1
nbproject/build-impl.xml.stylesheet.CRC32=2aa5193a
isabelle