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 wenzelm
Tue, 21 Oct 2008 21:47:49 +0200
changeset 34332 545a73fee0e3
parent 34320 883dc8fc3328
child 34380 b74b5e0ff66a
permissions -rw-r--r--
make Isabelle/jEdit distribution;

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=d2379ac2
nbproject/build-impl.xml.script.CRC32=234fa40f
nbproject/build-impl.xml.stylesheet.CRC32=411eee22
isabelle