labofsahil/github-event-dataset-2012 huggingface dataset:
Mandando coordenadas + proximo destino via POST.
nouveau document.txt deleted
remove show more/less from frost mobile--it is too great a load
Addition of a small program to get capabilities for local lxc container creation via unix sockets.
Add method minifyJS()
use bootstrap instead of ajax calls to initialize page
initiële commit na week1
未用到，并且非标准的public布局。删除之。
Item11267: partial revert of version string change

version 0.77 required for "modern perl version strings" was released in
2009, and older installations might not meet that requirement.  Rather
than force another dependency, use simple quoted strings for versions.

our Dependency.pm module should be able to cope, and this is forward
compatible to the version strings.

git-svn-id: http://svn.foswiki.org/branches/Release01x01/EmptyPlugin@16007 0b4bb1d4-4e5a-0410-9cc4-b2b747904278
Calculate memory and peak memory usage in profiler, too.
Added my own version of qtabwidget to manage qwebviews.
Uploading AirNaN Project With NEW ORDER :)
- Add new Brazilian Portuguese translation of the freebsd-update-server article

Submitted by:   Marcelo Rossi <marcelorossi@gmail.com>
Obtained from:  The FreeBSD Brazilian Portuguese Documentation Project
                (http://doc.fug.com.br)

Approved by:    gabor (mentor)


git-svn-id: svn+ssh://svn.freebsd.org/doc/head@39615 ba62deef-0ea0-e111-9166-001e4f0fb9b1
Remove 'Team' from 'Vendor Relations Team'.

Requested by:	pgj


git-svn-id: svn+ssh://svn.freebsd.org/doc/head@39518 ba62deef-0ea0-e111-9166-001e4f0fb9b1
New File, Charlie
+ Force build for prefixed regions
modify html import script position to last
modify dialog table title
modify dialog text
Update _layouts/default.html

Added Houston F# User Group and Community for F# (Online) user groups.
Merge pull request #18 from panesofglass/gh-pages

Add user groups
make logging better for threaded operations
fixes build for iOS
add: *timezone*: jst
add: print-current-universal-mail-format-date,
     print-universal-mail-format-date (from NIL)
add: print-current-universal-mail-format-date, print-universal-mail-format-date
tworzenie bazy danych
Add expression class.
Add exception class for parsing errors.
First (untested) attempt at a recursive descent parser.
upgrade to clojure-1.4
document some funcs
little bit of cleanup
improve startup to build leacher dir automatically
Modified Database Project
added custom systemaccesshandler
Merge branch 'master' of github.com:garagegeeksco/steag
Fixs Arena Spectators.
Agregando libreria NuSoap para el webservice
Merge branch 'master' of https://github.com/gastonnina/wsma_web
improve the memory.
add diceSelectedView
Merge remote-tracking branch 'origin/master'

Conflicts:
	Draw/Dice/Model/DiceImageManager/DiceImageManager.m
Merge remote-tracking branch 'origin/master'

Conflicts:
	Draw/Dice/View/CommonView/DiceView.m
	Draw/Dice/View/DiceSelectedView/DiceSelectedView.m
	Draw/Dice/View/DiceShowView/DiceShowView.m
Merge remote-tracking branch 'origin/master'
commit
Add abstract dropdown toggle
Rename Abstract to Container
Don't populate Ui with _ methods
Refactor
Remove ui
Merge branch 'master' into require
removed gemspec-dependency to active_admin, for use with other versions versions or branches
added AnimationUtils from vampire runner
added an int monitor to check when an int changes, started some modifications to animation and frameanimation api to know the current iteration of the animation to be easily monitored
added class to monitor one animation to see if it moved through an specific frame to trigger stuff
Fixing wicket tester creation
proxy.py -> laeproxy.py, tweak error msg
added contact page, needs to send email still
add data_collector
fix some phpdocs
remove debug code
Merge pull request #4 from gimler/data_collector

Data collector
Initial Implementation:
generates (probably incorrect) rfc5848 signature blocks

should be edited, setting generate_keys=1
and run once. (this obviously generates the signature
keys).
then should be run with generate_keys=0 and it generates
a log in /tmp with some sort of Signature Blocks (SBs)
Merge branch 'master' of github.com:giova23/syslog-sign
More cows
Merge branch 'master' of github.com:githubtrainer/poems
Merge branch 'master' of github.com:githubtrainer/poems
Updated to clubs ni
Made application CSRF-safe (mostly)

Big change, now it uses a token in session and POST requests to check
possible attacks.
Mass change '.send' to '.publish'.
Remove extraneous logger code.
Remove extraneous file.
Updates for current Ruby and gem environments.
Change homepage to go to codemarks index
Memoize current_user
Move login to sessions/new and add some session specs
Add cucumber to default rake task
Remove unused layout
Move jasmine JS setup to config.js
Add webmock and VCR to record external dependencies from spec. jasmine:ci broken
Remove unused qTip JQuery library
Remove backbone layout and clean up JS to only load what is needed
Only show Mine in tabs if logged in. Update links so they are real not just JS enabled
Merge pull request #93 from gmassanek/routing

Routing
Removed commented-out SOAP 1.2 config info
Cleaning up look and feel a little more.
Optimized path storing
Dependencies page created (and index file fixed).
Acknowledgements page created.
Added diagrams from Google docs vectorized.
Added discovery page.
Fixing some links in index.rst
Added table of contents.
Links fixed.
Subscription page created.
Modified sections/subsections/etc. with proper headings.
Fixed headings in dependencies page.
Added REST services page.
add gallery support.
Fixed pthread_create pointer call
changed struct
Fixed threading.
Determined blocksizes for even numbered sized files.
Added version 1.0
Initial checkin
Tidied up location
forcing commit
fix bug in PUT/GET bucket policy and add snda cs static library
GDS-998 Tide: reset does not work as expected with collections when they have been modified
Important change: dirty checking now stores the collection indices unchanged
in event locations instead of adjusting them with removals/additions
The adjustment is done later when comparing saved events to incoming local changes
Merge branch 'master' of ssh://github.com/graniteds/graniteds
UI: arrows on ellipses : took the diameter instead of the radius.

The arrows on ellipsoid shapes where placed at the diameter distance
instead of the radius.
adding to serve static files
serving static files fixed
csrf_token for registeration form
request context added
minor spelling correcton
[maven-release-plugin] prepare release parent-1.1.2-attendant-m1
steuerung eingeführt für mobs

Signed-off-by: Arne Lehmann <arne.lehmann@gmx.de>
Fixed bug with displaying boxes
Merged
Ejercicios de laboratorio
Ejercicios de laboratorio
Add script to solve problem30
Reworked dbploteventrate.py
travis中导入开局数据
add support for clojure with VimClojure
add clojure to list of submodules
Merge pull request #457 from rafmagana/clojure_support

add support for clojure with VimClojure
Add Less lang plugin
[cron-git-commit] @ 13.12
wip nonce needs microtime to be unique
polish and clean up of OauthPlugin
tests passing but marked one incomplete as it lacks a robust assertion
Adding missing docblock
Add support for typedefs
Make sure animation length gets a sensible default value
Sketch out core for matrix effect

Still missing lines.
Implement starfield effect

Brings back memories.
Tidy up matrix effect
Merge branch 'effects' into playlist
Add "AVR-friendly" assert.h
Renamed `initial_eeprom` to `configuration` and `schedule` to `cron`
Adding another ack-like function, 'spot'.
adding Ubuntu media repository Medibuntu
Updating plain-ubuntu64 Vagrant box to Ubuntu 12.04 Precise Pangolin
minor tweaks to Java Ubuntu repository recipe
Update IntelliJ IDEA recipe to 11.1.1
Upgrade Ubuntu GUI box to Ubuntu 12.04
Upgrade javadev box to Ubuntu 12.04
Bump version numbers.
Merge branch 'release-1.2.0.0' into develop
neu: 23.10_15:07

header.h
"beispielheader"
Modified 6
发布

Signed-off-by: liwen <hellocreep@gmail.com>
Merge branch 'master' of github.com:hatchee/hatchee-uto
Magento exception logging has now its own method. Post parameters added to log data
add lwss
Added one texture for the left stne wall.
Added some stuff to do with a start and in-game menu, not yet complete
ability to change mancenter url on the run
Merge remote-tracking branch 'origin/master'
only allow horizontal movement when touching the floor
Use hack only for youtube player.
print .
version finale pour navigateur
More efficient 'alg_ker_set'.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1454 b0c55286-4f34-0410-a049-a1e7e93b0762
Disable incorrect expansion.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1410 b0c55286-4f34-0410-a049-a1e7e93b0762
small helper function to get cifaces
More documentation, added speed to configuration
a change on the master
a local change
resolved_conflict
another change
Remove an useless “continue”.
minor changes to AKVsolver and ComputeAKV
changing vote route to get
scene manager bugfixes
Updated to the latest nomenclature.
Updated the api docs to the latest version.
Adding nojekyll file to disable jekyll. doxygen creates files starting with an _ and jekyll doesn't pass those on to the site.
Add supporting frameworks info.
Changed the "create new list" dialog
Spacer adjustment
Adding htmlEncode() to clean strings
Adjusting the check for required parameters
Adding htmlEncode()
example of using option parameters
Moving custom auto load function
hxfsc change ahwebsite.com
Change variable syntax
adding compression checking plugin
Add ctypes prototypes and check whether Zlib compression is available.
Merge pull request #11 from tomrittervg/compression-plugin

Compression plugin
Added ability to open media.  Caught exception when processing images.
the file was added
added vim temp files to gitignore
fix for wrong argument order
Merge branch 'upstream-launchpad' into testing
lp:~luke-campagnola/pyqtgraph/dev/revision/103
Merge branch 'upstream-launchpad' into testing
lp:~luke-campagnola/pyqtgraph/dev/revision/105
lp:~luke-campagnola/pyqtgraph/dev/revision/110
lp:~luke-campagnola/pyqtgraph/dev/revision/111
Catching any JS error on IE and FF browsers
Checking if value is not empty
finished pagination, some minor style changes
file class should not know the filename
Merge branch 'master' of github.com:igorcanadi/DynamoFS
File doesn't know anything about its filename
Rendern und Beleuchten
Add license to composer.(yml|json)
First commit
Merge branch 'master' of ssh://github.com/iiitd-muc/SensorAct
Fix margin CSS
Update so ratings will round up for itunes half star ratings
Update date time definition in Postgres schema grammar to match that of Rails.
add nickname for mobile api
Merge branch 'master' of github.com:imeeting/web_portal
Makes GetTheta() & GetPhi() store value in radians, instead of degrees.
making the tags auto detect the current plugin if the model flag is set
updates to the cms plugin
Added table widget config for protein
load treefam not panther
Added logging to the RequestProcessor concrete implementations for the Ajax test servlet.
support for unicode BOM characters
fixed moving faster on diagonals.  now moves at speed scaled by sqrt(2) * 0.5 on diagonals
added object.ini files for the tigglettes.  we're still missing a bunch of the sprites for them, so existing ones (often down) fills in in the mean time
Hide .pyc files
Banish .DS_STore
fix bugs about uncertain centers
add MemberListActivity,
add NewNumberListActivity
그룹 추가 기능
new form 추가.
Merge branch 'master' of
https://isimilej@github.com/isimilej/HerbFamily.git
CSS tweaks for search results
Dominoii y correos
Changes. Some changes
added POSSCON
Started unit test for authorization.
corrected test data
Specialized JDBC Realm, supporting schema with separate actions.
Basic authentication to Shiro works.
[lib] Add isPrime to EratosthenesSieve
shifted bidding into a bid() funciton.
IDE Project icon and Mac file association
Fix compare_double_and_swap_double for clang/x86 in PIC mode

* src/atomic_ops/sysdeps/gcc/x86.h
(AO_compare_double_and_swap_double_full): Re-implement for PIC mode
saving EBX to a local variable (instead of pushing it to stack) and
saving memory operand address to a register (edi which is manually
preserved), so that the whole code could also work even if EBX points
to memory operand (e.g., in Clang); test __PIC__ using ifdef (instead
of "if"); update comments; reformat code.
Update ChangeLog
Terminate tests with abort after error reported
(Apply commit ebaf32f from 'master' branch)

* tests/test_atomic.c (acqrel_thr): Call abort() after fprintf(stderr).
* tests/test_malloc.c (run_one_test): Likewise.
* tests/test_stack.c (check_list, main): Likewise.

Conflicts:

    tests/test_atomic.c
    tests/test_stack.c
Update ChangeLog
Fix a typo in comment of compare_double_and_swap_double (x86_64)

* src/atomic_ops/sysdeps/gcc/x86_64.h
(AO_compare_double_and_swap_double_full): Fix a typo in comment.
* src/atomic_ops/sysdeps/sunc/x86_64.h
(AO_compare_double_and_swap_double_full): Likewise.
Update ChangeLog
Update (regenerate) configure files; update ChangeLog

* configure: Regenerate (by autoreconf -vif using autoconf-2.68,
automake-1.11.3 and libtool-2.4.2).
* INSTALL: Likewise.
* Makefile.in: Likewise.
* aclocal.m4: Likewise.
* compile: Likewise.
* config.guess: Likewise.
* config.sub: Likewise.
* depcomp: Likewise.
* doc/Makefile.in: Likewise.
* install-sh: Likewise.
* missing: Likewise.
* src/Makefile.in: Likewise.
* src/atomic_ops/Makefile.in: Likewise.
* src/atomic_ops/sysdeps/Makefile.in: Likewise.
* tests/Makefile.in: Likewise.
Merge branch 'libatomic_ops-7_2-hotfix-2' into release-7_2
Fixed travis tests

Change-Id: I0cb8d07c42da308ad1249e6f7dd3076b3b7fdc1b
zipファイル作成処理でディレクトリセパレータの変換にstr_replaceを使っていた箇所をself::convToUnixDirectorySeparatorに変更
コメントのバージョン番号を変更
ディレクトリセパレータのWindows→UNIXへの変換でまだstr_replaceを使ってるところがあったのをconvToUnixDirectorySeparatorを使うよう修正。convToUnixDirectorySeparatorの中身を修正。
ZipFIle_Error::getErrMessagesHtmlでclass名とstyle名をダブルクオーテーションで囲んでなかったのを囲むよう修正。
zipファイルのメモリ上での展開機能をサポート。また、途中まで解凍してメモリ上のそのデータを保持し、その後メモリ上へもファイルへも展開できる機能を追加
preExtract内でpreExtractFromLocalFileにselfをつけずに呼んでいたのを修正。
extractToHeaderAndEntry内で圧縮後サイズゼロのブロックはfreadせずに空文字列をdata部分に代入するよう変更。extractSpecificFileToFileのバグ修正。ZipFileの一部のstaticメソッドをpublicに。
Windows上でのzipファイル展開時のディレクトリ作成処理のバグを修正
Package declaration added.
Update index.html

placehold.it -> dummyimage.com
API change - renamed getContentMetaData() to getResourceMetaData() and
renamed getIterationMetaData() to getContentMetaData()
Just a little variable renaming
issue #19 - added advanceResourceState to ResourceDescriptors to enable
auto opening. Modified ContentMetaData to be aware of whether or not is
should be automatically refreshed, and whether or not to include Stream
related attributes. This differentiates it between ContentMetaData, and
ResourceMetatData. Also modified API to make everything naturally
implement iterability. 
Merge branch 'master' of https://github.com/jahnje/delcyon-capo.git
add poolboy:status/1 to get stats on a pool
suunnitteludokkari korjattu
Record tournament outcomes
ElementManipulation tests for collections passing

See issue #20
CollectionTest now passing

Also moved some of the tests from CollectionTest to ToolsTest as I'd moved
the relevant functions to Tools.hx

See Issue 20
fixing failure to load DB.  Brutal.  Maybe time for unit tests...
Fixing creation issue.  Ugh...
Adding unit tests to Pitside.
Merge pull request #3 from jawillis/master

merging in jawillis's big webpage changes.
Added minification of the .js files to the build events
install go fish
Don't prompt the user to pass REUSE_DB when doing so makes no sense.

For example, when he already passed the option or when using an in-memory SQLite DB.
JBEHAVE-752 - file separators fixed
Added locatable+climate intermediate model.
some setup for A*
Add .gitignore for easier work
Merge branch 'master' of github.com:jc15100/ai_project1
Added more image data
Cont func. profile...
Merge pull request #118 from bdupree/master

Added more to profile.js
Merge branch 'master' of https://github.com/RowdyHowell/picnit
Add Search API with two functions
Merge branch 'master' of ssh://github.com/RowdyHowell/picnit
improve email message
Merge pull request #23 from jchubber/email2

improve email message
Makes the login buttons Parcel green.
add triggered email upon RSVP
Merge pull request #11 from jchubber/email

add triggered email upon RSVP
Turned off clustering. Updated geojson descript.
Fixed a bug in the species controller. Wasn't processing clustered preference correctly. Changed geolocation fixtures theme.
Fixed a magic number, made it a const.
Got google layers working nicely with WMS layers. I believe everything should be future ready for our WMS distribution layers.
Merge branch 'costa_rica' of github.com:jcu-eresearch/Edgar into costa_rica
Change refresh icon on pre-ICS devices
Started changing design
Added SFCopyable
Changes for Windows and a change to highlighting added lines
Added XML flag for newly added files, and a decorator icon for them.
Added background flag to detach the process; Removed unwanted logging related variables
Site updated at 2012-08-30 16:58:12 UTC
Remove getIndex section from readme
Added solutions for Part 3.
RF: change sys.platform == 'linux2' to .startswith('linux')

- change (linux only): info.py will report platform as linux instead of linux2
- test_ports still has this (not sure how to change without breaking):
   with nested(mock.patch("sys.platform","linux2")
deleteing back up file
Renamed extra_vmargs to vm_args (consistency)
Remove .npmignore.
Refine Sample App per Chapter 3.5
Added MAT id with ENDF list text file

Now I have can lookup ENDF MAT number with Nuclide class.
use argv for options
add hamcrest dependency
remove redundant unescaping (done by jsonsimple)
add unescape method so I can better test escaping; make sure to also escape object keys
added more trollicons
Adding solr script.
Adding script comment.
Use normal coffeescript syntax where it makes sense.
Add Base58 encode/decode script

For info about Base58, see: https://github.com/jimeh/node-base58
Merge pull request #383 from jimeh/add-base58-script

Add Base58 encode/decode script
Added 'serenity now' script
Merge pull request #384 from madtimber/serenity_now

Added 'serenity now' script
Added doc string to serenity.coffee
Merge pull request #385 from madtimber/serenity_now

Added doc string to serenity.coffee
Steve Buscemi. :v:
More apt description. :v:
Merge pull request #386 from dylanegan/buscemi

Steve Buscemi. :v:
Adding word boundaries to polite, so that 'hi' and 'ty' don't constantly trigger
Merge pull request #387 from crimsonknave/polite_fix

Adding word boundaries to polite, so that 'hi' and 'ty' trigger wrongly
Updated the URL for play.
Merge pull request #388 from d0ugal/patch-1

Updated the URL for play from holman/play to play/play
Typo
Merge pull request #389 from jroes/patch-1

Typo in ruby.coffee
Pass in the query_params for github-issues. [from GitHub :rainbow: :cat:] :v:
adding documentation for web sql
Express setup
basic structure
Add deps
Add deps.js
Get files in order of folders
Changes program name to properly reflect the repo name
update makefile to remove built binary; update version to 1.0.4
Six Seven
Trying again with statefulness
XWLPY Stock Commit

Initial commit
Enemies behave better when close to player
Projectiles colliding with walls handled manually in move-method
Fix whitespace in changelog
Librarian Tabs and Librarian transactions fixed
Word validation should return false if any non-word characters are present.
fixed the diagonal bug
Really crappy walking, no map collisions (except ground)
Further work on presentation
Further work on presentation
Errrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr
OS-1625 vmadm: improve random MAC generation and related logging
Fixed a bug that prevented the use of pseudo-events
updated building_areas project, tidied up mapbox maps.
Fix Rafael's name and add description
Success: devel/p5-XML-Compile-Tester v0.90
Success: textproc/p5-WWW-Google-SiteMap v1.10
Success: textproc/p5-XML-RSS-SimpleGen v11.11
Success: www/p5-WebService-NoPaste v0.03
Success: www/p5-WebService-Rakuten v0.05
Success: devel/pear-Console_Getargs v1.3.5
Success: textproc/p5-XML-SimpleObject v0.53_1
Success: textproc/p5-YAPE-Regex-Explain v4.01
Success: security/pam_ssh_agent_auth v0.9.3_1
Success: databases/pear-DB_Sqlite_Tools v0.1.7
Success: devel/pear-HTML_BBCodeParser v1.1
Success: devel/pear-HTML_Javascript v1.1.2
Success: textproc/p5-XML-OPML v0.26
Success: devel/pear-HTML_QuickForm v3.2.12
Success: devel/pear-HTML_QuickForm2 v0.4.0
Success: graphics/pear-Image_Transform v0.9.5
Success: www/pear-HTTP_Request2 v2.1.1,1
Success: mail/pear-Mail_mimeDecode v1.5.5
Success: math/pear-Math_BigInteger v1.0.0
Success: net/pear-Net_DNSBL v1.3.7
remove obsolete tests.
Add support by sorting empty strings.
added balancing to prefer shorter numbers
change version number to 2.2
Changed jquery version to 1.8.2
Merge pull request #1 from privorka/master

Changed jQuery version
Removing greenturtle RDFa script injection from JSON-LD Syntax FPWD.
wget wretch image
#JC-691 fixed poll option count check
JC-972 - Poll should have same style as Sticked & Announcement
Merge remote-tracking branch 'origin/develop' into develop
Starting full stack install
Added manager, ingame, battleteam fields and renamed gladiator-field.
added multiplayer challenge description.
working login and create with new db layout.
manager name was wrong.
improved naming, messaging fixes
battleteam_select added
users db definition
added ranking div
merge latest from github
Automatic commit of package [runonce] release [11-1centos5].
scripts/regex: don't require trailing slash, refactor
Add TODO to core regarding the unclean exit bug.
fix S3/SNS logic some more
Initial implementation of diff panel.
Started working on Issue #9. So far, laid down boilerplate code for the popup and button event handling.
Classe para manipulacao de retangulos e retangulos com gravidade
Client changes
Merge branch 'master' of https://github.com/kallivis/DataComTCP
Added additional functinallity
tests: update build-sys tests

Signed-off-by: Karel Zak <kzak@redhat.com>
su: use xstrdup()

Signed-off-by: Karel Zak <kzak@redhat.com>
fdisk: sgi: use xcalloc()

Signed-off-by: Karel Zak <kzak@redhat.com>
po: update de.po (from translationproject.org)
po: update fr.po (from translationproject.org)
po: update nl.po (from translationproject.org)
po: update vi.po (from translationproject.org)
po: update zh_CN.po (from translationproject.org)
po: merge changes

Signed-off-by: Karel Zak <kzak@redhat.com>
docs: update AUTHORS file

Signed-off-by: Karel Zak <kzak@redhat.com>
include/tt: improve work with non-utf8 chars

Reported-by: Pádraig Brady <P@draigBrady.com>
Signed-off-by: Karel Zak <kzak@redhat.com>
Adding home icon to lift brand in bootstrap nav.
Small menu adjustments.
utils/common.py: args_to_users: Bugfix. Prevent infinite loops by updating the 'had' array.
White-space fixes
Adds named_scope support

This commit adds named_scope support and adds some nice default scopes.

courtesy of Ben Johnson <bjohnson[at]binarylogic.com>
adapted by Kai Krakow <hurikhan77@gmail.com>
http://www.binarylogic.com/2010/01/09/using-geokit-with-searchlogic/
Merge pull request #1 from netactive/master

Support for named_scope
activated ido mode
update soultion
renames routingtable.rb -> routing_table.rb
fixes bug (wrong path sorting)
bumps version
initial syte checkin
Clear Local Storage Function
Minor CSS edit
(not yet)
Third committed change
Add: Status updates for roadmap items.

Signed-off-by: Kevin Conway <kevinjacobconway@gmail.com>
config, readme changes
config changes
config changes for production
comment out a log
Clean up nested subcategories function, properly call subcategory posts in sidebar.
Fix text-decoration for links, blog page and right-align fixed sidebar
a
aa:
Fixed TravisCI config file
Use "default" cc, not gcc specifically
Allow the user to choose the C compiler with $CC
Search /usr/local, for FreeBSD
events api: add action=list for output
test, release
kalk, priprema - smece opcije korigovane
kalk, kreiranje tabela rekap1, rekap2 i reka22
kalk, brojač po kontima parametar ubačen
Add section on isomorphism

Add section on isomorphism

Add some more text
Add some more recognizable proof structure
Add full proof of bijection
Merge branch 'master' into bijection

Conflicts:
	report/report.tex
Add note about correspondence of operations

I convinced myself that this is immediate.
Add basic 'toolkit' for prooftree conversions
Add most parts of proof for invariance of conv
Merge branch 'master' into normalisation
Make beta-conv correspondence proof less horrible
Add better structure for conv proof
Add def for transitive closure of conversion
Make chapter count start from zero
Adopt symbol use of Chapter 1 for lambda terms
Improve statement of CHI
Merge pull request #15 from knuton/zerobased

Make chapter count start from zero
Come again?
Mark definitions as definitions
Add structure and simplify CHI proof
Merge pull request #12 from knuton/normalisation

Normalisation
Merge pull request #11 from knuton/bijection

Section on isomorphism
now possible to add custom page title in toc
doc update
Respawn again
added xmedicus and youcanbookme booking templates
fix eof_ending
Merge branch 'hotfix/eof'
RTC supprt and Timeout capability in select()

New feature: Real Time Clock Support.
- Library for RTC hardware support.
- date of week has bug. Value can not be determined.
- Must To Do: To avoid direct access to a hardware in library.


Change: Rewrite the Timer and Alarm.
- Rewrite PIT Controller.
- Expand The System-uptime to 64bit.
  - This ensures that there are no overflow in 400 days.
- 64-bit system time support in alarm.

Change: Support timeout in bucket_select()

Demo: nxclock
bind 0 to mainmenu because ` is problematic in some keyboards
- Fixed issue with Koshu-Build not finding build files without ps1 extension.
- Added support for finding build file in parent directories.
- Added try_find function to koshu module.
- Updated todo.
- Fixed issue with build_succes not being available after failed build.
- Added nuget_install function to Koshu module.
- Trying to intall psake when loading Koshu module.
- Made $psakeDir relative to $koshuDir.
- Updated todo.
- Supporting build target to be passed to Koshu-Scaffold.
- Fixed issue with psake being installed in the wrong place.
- Added initial path test to try_find in Koshu module.
- Updated todo.
some new books by Serge Ilin & Stas Kurilov
strip href-s
- Added docs to rcc
- Markup corrections to remaining files to prevent doxygen pulling in documentation from
identically named files in other places. Replace @file command with @defgroup
makes a grouping for each file.
- Cleaned up other markup to make doxygen happy.

No code changes
ADDED zones required for pathfinding tests
simplify path resolving
improving path and js context resolving
js: save resource list on parse, relink files which have deps or resources only
use js.getFileContext
output totals
optimization: walk through ast on modify createDictionary only for scripts that has dictionary creation call
l10n cleanup code
replace l10n bindings for packed references in templates
pack keys in basis.l10n.getToken call if possible
Fixed the create table dialog not closing on outside click
Click on surfaces should not deactivate editables
Merge remote-tracking branch 'origin/gh-pages'
fixed some things that alexia suggested.
...
fixing json and main js
Merge remote-tracking branch 'origin/master' into gh-pages
add support for texts of the format '<anything><space><project_id>'
Change prox free url from https to http
Add Runtime Process Infection paper
added config
add imported posts
added slash theme
Add  missing source files
changed url and removed /blog component in url. Also turned off unnecessary components
Add  missing source files
Add  missing sass files
new theme
Added spec for 2.0
Updated with information on submitting code changes.
Fixes #102
Fixes 103
Fixes #105, at least on Debian Squeeze, added .pro dropped by error
Fixes #117
Fixes #113
Fixes #107
Add PPA installation instructions (refs #71)
Add bitmap icon
mac icons
relative fontsize of the help paragraph
Merge pull request #122 from Mallox51/master

mac compatibility
Add new contributor !
mac compatibility

and added my name in the contributors list
gitignore
Merge pull request #123 from Mallox51/master

mac compatibility
Update README.md
Update translations
Clean project files (fixes #102)
Reorganize main window (fixes #104)
Test if the user has changed the row (fixes #112)
Created project_id filter, updated <a href> in index and allprojects.html

Mohit helped to reorganize variable names.
DB - Users module
DB - Users module
css bootstrap added
Users and css

bootstrap css & users saved to DB
Only add pager buttons if > 1 item
In Class Demo Version
use an object instead of a JSON-string for the data in remoteStorage
Merge branch 'english' of github.com:liyonghelpme/server into english
English new edition
Added the CSP Title to the info command output.
Fix problem that popup output is slip
could save credit card on the job
user could save credit card on job
Add buttons example, remove dropdown one
added "go to top" button

Signed-off-by: Lucas Strasmann <lstrasmann@gmail.com>
fixed menu

Signed-off-by: Lucas Strasmann <lstrasmann@gmail.com>
Inclusao de faixa de ceps em estados
Criacao de validacao de cep por Estado
Merge branches 'master' and 'deploy' into deploy
chaging 'idle' picture opacity to 70%
Merge branches 'master' and 'deploy'
Added some parts of first day
Reinstaurar migración.
.gitignore has been modified to include .tar.gz
add ignore

eclipse config
2012-05-31 fetch
[fetch_20120530] Fixed search in Adobe Acrobat Reader, also fixed copy and paste from PDF; imported all simple changes, but not done yet; bumped the version
[fetch_20120530] Posledovanie
[fetch_20120530] Fixed makefile, so that ONLY= can be specified to compile specific chapter only. Usefull for quick testing
Moved pripev commands to the top document; experimental multicol layout
[fetch_20120530] new fetch from site
[fetch_20120530] More multicol experiments. Migrated to texlive 2012
[fetch_20120530] adjustment of image width
[fetch_20120530] Fixed prayer to St. Ioann of Kronshtadt
[fetch_20120530] Created fixirmos script to do some common replacements.
[fetch_20120530] Completed import of the three canons.
[fetch_20120530] multicolumn related changes.
Better icon of St. Daniil of Moscow
Merge branch 'fetch_20120530' of https://github.com/m4j/molitvoslov.com into fetch_20120530
[fetch_20120530] multicolumn related changes.
[fetch_20120530] ignore target folder.
[fetch_20120530] Many fixes and changes to multicol layout; corrections in Liturgy sections
[fetch_20120530] Liturgy sections
[fetch_20120530] Liturgy texts updates
[fetch_20120530] Liturgy texts updates
sudo part: reformat
Oof! SO MUCH STUFF! (too much stuff?)
Allow long book titles
Placed new logo in the index
Añadido Prueba 2
start to add logging
fix crossess
change url in page header
little refactoring
Merge remote-tracking branch 'origin/master'
Enhanced EA.Element and EA.Package collections display

Signed-off-by: makulik <g-makulik@t-online.de>
More debug for flags
Creature Movement for some Creatures Thanks UDB

Signed-off-by: Salja <salja2012@hotmail.de>
Some Update for Mechanar. Thanks Xfurry

Signed-off-by: Salja <salja2012@hotmail.de>
Sql: Battered Hilt added to reference_loot_template
Improve keeper account detail and add new funcionality to create question action
#4 create the unit test of the Flow class.
Implement a new gutter system

- Multiple gutters are explicitly created with the gutters
  option
- Markers go into a specific gutter, new setGutterMarker,
  clearGutter methods
- The line number gutter is separate
- The 'fixedGutter' feature is removed (painful to do now,
  was shaky anyway)
Implement arbitrary-height lines

Experimental for now.
Move to {left,top,bottom} objects throughout

No more random {x,y,yBot} thrown into the mix.
More stable drawing of selection
Also measure a 'right' in measureLine

Get rid of eolSpanContent mess.

Preparation for RTL text handling.
Bug fix (position adjustment)
Remove LEDs
Update to README - obspy
README typo
Bug 793797 - Massive speed increase. r=bc
report refresh button and events index in reverse order
updated coord converter and database storer

Added databaseStorer.py to store CSV data in sqlite database
food methods done and tested.
Merge branch 'master' of github.com:martinjc/digisocial
GO, Camera & Light serialisation and Inspector++

Added ComponentFactory, can now handle Mesh, Camera and Light
GameObject can now deserialise anything ComponentFactory can handle
Implemented Camera and Light for serialisation + added Light properties
Annotation options now converted to JSON and passed UI
Inspector is now updated to reflect current values
Jonathan Perry

Have very recently made UI changes to the User, Add User and Workout
screens, and resource files which will neaten up what does where for
them individually (for maintenance purposes).
commit for activity_add_user_values.xml failed on last attempt. This is a follow up commit
Revert "apktool wrapper script. To be used, change the apktool usage from java -jar apktool.jar d foo to apktool d foo."

This reverts commit f60e5b6e8a97895a22e30dca4aba512b2bbfcf7e.
Source +
adding a couple pixel cushion
Rebar 3.0 places test files in .test instead of .eunit. I've updated the makefile and test/init script to reflect this so the mnesia database will be created in the correct directory. I've also updated the gitignore to exclude the .test directory as well.
adding link to the original repo in the README
java7语言新特性,二进制数字表达方式
White BG as default

6 of the themes do not have a background defined and as the CodeMirror
class doesn't either, the background of parent items is visible, a
problem when you have a parent BG that is dark.

To see this in action, set style="background: #000" on the body tag of
http://codemirror.net/3/demo/theme.html. You can now no longer read all
text on the default, eclipse, elegant, neat, solarized dark or solarized
light themes.

Rather than add a white background to these 6 themes, it is better to
have a white background on the CodeMirror class itself, to provide a
base. This of course can be overridden by the user if they wish.
s/french/german/
Added bindings for on() and off() for jQuery 1.7
Implemented TO_view
Updated documentation and binary version numbers.
use ruby-json instead of json
Added a basic HTML generation facility (just to get my Lisp engines started again)
Added CSS generation (css-lite does things I don't need and does them slowly).
Some tweaks to the HTML generator.
Correct the documentation for, and remove an old comment from, the mcastsocket code
new uDig Tools (beta)
First Commit

This has every file I have created while working out the details of the
application.
some html
new well formed html
func def add
ho-ho-ho
good strings in line-html
adding linter plugin
adding linter plugin
two more features

- remove completed (Todo: The counter in the button has to be done, still)
- validation and handling for empty records
highlight letter in textbox, and activate autocomplete
Merge branch 'textbox'

Conflicts:
	autcomplete.js
kanske nastan klar med klienten om det fungerar
Fixed type reference.
Add ActionBarWindow, a window with an ActionBar.
Correct require order.
Add the listener to the outer container.
Add navigation icons in Action Bar.

* Attach the handler to the navigation bar.
* Dynamic navigation bar icons.
Use an ActionBarWindow in ApplicationWindow.
Remove if. There must always be a title.
Add visual assets.
Define icons and images in the theme file.

* Move application icon to the theme file.
* Define back arrow image in the theme file.
* Define theme icons in the theme file.
Define Home Screen icons in the theme file.
More work done on the workspace settings system
contact_add: tel placeholder; fab fixed deployments.log dir; better tel normalization on send_sms
twitter bootstrap patching
fabfile and gzip-scriipt update
add queue operation
#1 Add Meu Rio signature
untrcked a dir
changed bg and minor correction in posts
Reorganized the build process

Each workout is it's own directory with multiple files. Work in
progress.
Moving mile splits and initial experiments with plots
Add desktop shortcut icon for nqmap
preparation for version 0.3.0, added banner for plugin-site at wordpress.org
fixed: jquery will be only included if it wasn't already enqueued

it makes some troubles if jquery was already loaded via wp_enqueue_script() and is then loaded again before the slider
moving header bg img
redirect logged in users to discussions, not landing page
IDI-46: Fixing an issue with not being able to read links in high contrast that break over two lines and are focussed.
121event first drupal module version
*dodane aktivnosti: TimeslotActivity, TimeslotDetails, TimeslotDelete,
TimeslotEdit
*ProgressAdapter za listView sa progress barovima
*progress.xml za zeleni progress bar i progress1.xml za crveni progress
bar
*textlines.xml za linije izmedju textView-ova u TimeslotDetails-u
added VCR and a few specs
Added proper text wrap widget
Added git-achievement log files to tracking
LexiconTrie.java fully functional. Tests added to LexiconTrieTest.java for contains() and containsPrefix()
Remove filters import

Not sure if it breaks anything, but this is here to make the
upcoming mezzanine work easier. Not meant to deploy this anywhere
anyway anymore.
zypp: use pre-increment in for-loops to avoid temporaries
zypp: don't waste time comparing zypp::Arch string representations
zypp: set CXXFLAGS and use --std=c++0x as libzypp does (bnc#769764)
zypp: fix missing dtor
zypp: no longer use the old and deprecated ZYppCommitResult members (bnc#769764)
zypp: adjust PK_FILTER_ENUM_NOT_DEVELOPMENT (bnc#770028)
Implementing ConsumeForBindings and associated command-line interface

which has some pretty big limitations, but does stuff, so yay!

Signed-off-by: Dan Buch <d.buch@modcloth.com>
Small bug in RankerNotifier fixed
Grealy improved session mgmt
New settings & changeView fix
Fix for move and attributes that end in "this"

As pointed out by @denis-sh
Upgrading "save" requirements

The problem is that the current implementation allows the returned type to merely be convertible to R. This means that if the result is stored in an auto, the auto's type will not be R.

This can be particularly problematic in template code, as calling `foo(r1.save)` may not actually be the same as `foo!R(r1.save)`
Made some minor improvements.
Synthesized likes, comments and views icons.
Added tag THUNDERBIRD_17_0esr_RELEASE, THUNDERBIRD_17_0esr_BUILD2 for changeset fcdd0044345a
Added tag THUNDERBIRD_10_0_5esr_RELEASE, THUNDERBIRD_10_0_5esr_BUILD1 for changeset 82e252ae7d68
Update appdir
Adding a generic way to render email templates and send emails.

#TODO make the sending of emails deferred
Making email sending deferred.
Merge pull request #20 from mpdavis/email_sending

Adding a generic way to render email templates and send emails.
cornfirmation and new list format for invite and browse
adds option to choose rich text editor configuration per meta file
Do not track dev database
Initial structure
Updated gitignore to avoid test results
merged gh-pages
Para macro test
 macro - list comprehensions in spanish. Noisy tests; update todo with troubling scope bug.
more work on LF model
Merge pull request #45 from mshwery/master

js for pull blinds
Flying pterodactyl
Merge remote-tracking branch 'upstream/master'

Conflicts:
	public/css/style.css
	public/css/style.scss
	public/index.html
added google analytics
ribbon link update
Merge pull request #46 from ericnormand/master

Frickin flying pterodactyl, baby
add exploding dinosars, dog.
Merge pull request #47 from bhuga/moredinosaurs

add exploding dinosars, dog.
Added Facebook meta tags
Merge pull request #50 from gerardramos/master

Added facebook meta data
use events on galaga, too
fix a physics bug. yes, seriously.
performance improvement
Merge pull request #43 from mshwery/master

added a few panes of sam and max, and used magnify js to zoom in on the rooms
simple syntax fix
Merge branch 'master' into next
Merge pull request #44 from bhuga/next

minor fixes
raptor fix
added raptor and ribbon
added steg
added quickie js for blinds
Copy build output recursively.
Change heading to Charcod.es.
Show DOTTED CIRCLE next to combining symbols.
Use curl instead of wget so the Makefile works out of the box on OSX.
Added KrakTreeKeyTest.java
Merge branch 'develop' of github.com:msta/Projektklyngen into develop
Outcommented some parts
After week 4
changed to 1d array for better handling
Added com.db4o to update site
extend inspector for Hairpin
fix barline layout for invisible parts
fix #15882: load PDF without content-disposition header in musescore connect

git-svn-id: https://mscore.svn.sourceforge.net/svnroot/mscore/trunk@5518 e27ab94a-cc1d-0410-850c-f737b25541af
Fix error when un/subscribing to status updates.

An error was raised after the button push due to a failed lookup of the service
display name.
Clean up old style case statements.

Ensure that all case statements follow the new Ruby 1.9 style.
Clean up model code.

Some models had errors in their validate_presence_of and after_create filters.
This is fixed in the code but may require fixes to be hand applied in the
databases.
Back out SSL changes and remove ssl_requirement plugin.

SSL changes are no longer needed because we will let apache manager the SSL side
of things.
Always have the newest events at the top of the list
Merge remote-tracking branch 'openaustralia_github/sorting_requests_front_page' into develop
Restore config var used in tests.
Merge branch 'fix_auth'

Fixes #5
add on_update tracking
refactoring with adding some class of Obj
add flying enemies
futz around with aggregate theme
changed the exec, and added an env file
updated readme, made .osx executable
no abbreviations (markdown extra) in redcloth
my past articles are written without hard wrapping
bring across more articles, add summaries
Move all hooks to one place. + more

Many changes in this commit.

 * All hooks in one place
 * Added `before_header` and `after_footer` hooks
 * Added the ability to use classes for your hook callbacks
 * Better example callback
 * List plugins in admin interface
Learning resources.
Bug 699883 - [1/3] Rename old range analysis pass to edge case analysis (r=dvander)

--HG--
rename : js/src/ion/RangeAnalysis.cpp => js/src/ion/EdgeCaseAnalysis.cpp
rename : js/src/ion/RangeAnalysis.h => js/src/ion/EdgeCaseAnalysis.h
Bug 699883 - [2/3] Add a fast way to check if one block dominates another (r=dvander)
Bug 699883 - [3/3] Implement range analysis; defaulting to disabled for now, hopefully with less orange this time (r=dvander)
Bug 775722 - Reposition the text selection handles during pan/zoom operations. r=blassey a=akeybl
Bug 806690 - Cancel the current browser load to make sure that we don't catch unexpected load events for about:home; shoulder-r=jdm

DONTBUILD since this in NPOTB for global PB builds
Bug 806720 - Rewrite the browser_styleeditor_private_perwindow.js test according to the latest changes to the style editor test suite; shoulder-r=jdm

DONTBUILD since this is NPOTB for global PB builds
Bug 815039, Add template to bind non-member function calls into runnables. r=jesup
Bug 701393 - Add suffix stripping to PP_TARGETS generic preprocessor rule r=glandium
Merge m-c to inbound.
Bug 798194 - Fix repaint request re-ordering bug. r=roc
Bug 798194 - Fix problem with resizing the composition bounds. r=roc
Bug 784591. Add an optional argument to the unlock image api on documents so that we can request that the image be discarded only in some situations. r=khuey
Back out 2d8822b9c0b5 and 56a268d63e01 (bug 708812) for Android ts red
Bug 793310 - Support sms:, tel: and mailto: URI schemes, r=philipp
Remove sendmail dependencies
Stage切り替えの改良
Modified tables on all files.
Removed another erronous whitespace
Button color alterations.
Merge branch 'master' of github.com:reign/nesi-bootstrap
Add our spec file to the repo (treating rancid and rancid-git as different packages for now)
Added -not tested- database classe

database with 2 tables, users and journal entries
working on add user interface
rest of the app
register user layour
Add journal entry interface
new article on emacs lisp tips and tricks
Simplified solutions to Problems 4 and 52.
Merge remote-tracking branch 'remotes/nick/master'

Conflicts:
	Project Euler/Problem_4.hs
[TDD] Fix travis configuration
levels with betweens
minor fixes
Merge remote-tracking branch 'upstream/master'
changing __init__ for super
Merge pull request #434 from diegosarmentero/master

Minor fixes
Fixing user data issue for multiline
Fixed Issue #710
Merge pull request #786 from diegosarmentero/master

 Fixed Issue #710
adfsad asdf
Green 1
linkedList code first commit
cancel the probe request when the server is freed, and ignore cancelled probe callbacks
remove redundant DNS_ERR_CANCEL check, move comment
Merge pull request #52 from ghazel/20_evdns_probe

cancel the probe request when the server is freed, and ignore cancelled probe callbacks
Merge remote-tracking branch 'origin/patches-2.0'
stdio.h is back!
add url absolutificaiton to loader
Update forum usergroup store
imagic to mrc converter (uses EMAN2 libs)
Got textures working!! :D
Updated archive.php and style tweaks for home
+$ Adding installation languages: bg-BG, de-DE, ru-RU. Updated pt-BR
Update SQL Azure sample data files. Thanks Hooduku.
Merge branch 'master' of https://dextercowley@github.com/joomla/joomla-cms.git
[#29367] *Filtering by category does not work for Featured articles
Merge remote-tracking branch 'origin/master'
 # [#29336] *Protostar page navigation does not work
 # [#29358] A single contact does not send email and return 500 system
error. Thanks Andrea
 # [#29344] Javascript Error with JHTML tabs. Thanks Jérôme GLATIGNY $
Peter
[#29211] Isis: Jumping table rows on mouseover. Thanks Constantin
Romankiewicz.
Add STS update XML files
Prepare for 3.0.0 release
Merge remote-tracking branch 'remotes/upstream/master' into extsettings
submit to app store for 2.0
init default toast
remove unused method
add -toastText
save project file
remove obsolete usage of properties
- rewritten for version 1.0. Now user can use their own custom Toast view
add getToastText
The default toast view.
new text
remove unused file.
remove error example.
remove error example
add license info
read me file for the 1.0 release.
Add new screen capture
update pod spec to 1.0.0
remove unused.
read me for 1.0.0
Added the traceroute.py class.
Well, it compiles

Just can't see anything... Oh I forgot to set the color.
That wasn't it.
Fumbling around here.
Add tests from #1309 and #1317
Fixed : bad commit on .htaccess
Gitignore : Add a hack for IDE know classes fuelphp without namespace
Changed how field_template is set for checkboxes to make it work in more use cases (form/fields view was not)
Add a wide view to media appdesk
* added WHOIS template for .NZ
* added WHOIS servers to whois.ini to skip querying IANA
* added boolean `parsedContacts` property to `Result` to indicate if
contacts have been parsed
* changed Exception handling, if throwException is false it will return
only the Exception message instead of the whole Exception
* fixed availability regex at Afilias template
* refreshed supported TLD list in README.md
clean up testfunctions a bit
Cool new UI features, viewer controls hide, zoom controls added
Fix hilighting when right-clicking

Signed-off-by: Niels Thykier <niels@thykier.net>
Finished monitor.py and added Readme
Two more test cases for pure calculus. Use parseTerm where possible.
Final fix of SSE x86_64 tail call base pointer alignment bug.
install.sh quotes and array
Correct humanToBytes bug
Allow an input file instead of STDIN

For debugging and testing purpose only
updating tests with new reworked code
Gibran's commit - fixed minor error in update2prof
add metatable
редирект
Merge branch 'master' of git@github.com:oksamitnyj/turbokom.git
Add README and final implementations
Player rendering working, maybe Unit also (not tested)
add files to  the local repository.
add achong's file.
merge from the server.
Added justification being stored in the database
Merge branch 'profile-prototype' of github.com:openphacts/BridgeDb into profile-prototype
Automatic commit of package [cartridge-python-2.6] release [0.95.2-1].
Automatic commit of package [rubygem-stickshift-controller] release [0.11.9-1].