René's URL Explorer Experiment


Title: Commits · DrJavaAtRice/drjava · GitHub

Open Graph Title: Commits · DrJavaAtRice/drjava

X Title: Commits · DrJavaAtRice/drjava

Description: Branches for integration and releases. Contribute to DrJavaAtRice/drjava development by creating an account on GitHub.

Open Graph Description: Branches for integration and releases. Contribute to DrJavaAtRice/drjava development by creating an account on GitHub.

X Description: Branches for integration and releases. Contribute to DrJavaAtRice/drjava development by creating an account on GitHub.

Opengraph URL: https://github.com/DrJavaAtRice/drjava

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/commits(/*name)
route-controllercommits
route-actionshow
fetch-noncev2:301b798a-9eb9-1c3e-543c-b38f03347f19
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idCAD4:174FB1:1D77BAF:27192DE:696AFCB0
html-safe-nonce16772106474634096d0ed2d9517516cbc51a5d30110b1ac7c7a821e9e724f046
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDQUQ0OjE3NEZCMToxRDc3QkFGOjI3MTkyREU6Njk2QUZDQjAiLCJ2aXNpdG9yX2lkIjoiNTcwMzk4NDQ2MDg1MTc3MjU5MiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmacff6bfee5d09b1f8e2b7427df7e48470f0b2b94b407008bf88c4556935cb78699
hovercard-subject-tagrepository:25469922
github-keyboard-shortcutsrepository,commit-list,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///commits/show
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/DrJavaAtRice/drjava/commits/dev-functional-java
twitter:imagehttps://opengraph.githubassets.com/ccfae87d2e0bace53c82f1a10bf7c84d81417fc28c12a8d72292a192a223c767/DrJavaAtRice/drjava
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/ccfae87d2e0bace53c82f1a10bf7c84d81417fc28c12a8d72292a192a223c767/DrJavaAtRice/drjava
og:image:altBranches for integration and releases. Contribute to DrJavaAtRice/drjava development by creating an account on GitHub.
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None5f99f7c1d70f01da5b93e5ca90303359738944d8ab470e396496262c66e60b8d
turbo-cache-controlno-cache
go-importgithub.com/DrJavaAtRice/drjava git https://github.com/DrJavaAtRice/drjava.git
octolytics-dimension-user_id9321066
octolytics-dimension-user_loginDrJavaAtRice
octolytics-dimension-repository_id25469922
octolytics-dimension-repository_nwoDrJavaAtRice/drjava
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id25469922
octolytics-dimension-repository_network_root_nwoDrJavaAtRice/drjava
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release82560a55c6b2054555076f46e683151ee28a19bc
ui-targetcanary-1
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/DrJavaAtRice/drjava/commits/dev-functional-java/#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FDrJavaAtRice%2Fdrjava%2Fcommits%2Fdev-functional-java%2F
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FDrJavaAtRice%2Fdrjava%2Fcommits%2Fdev-functional-java%2F
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fcommits%2Fshow&source=header-repo&source_repo=DrJavaAtRice%2Fdrjava
Reloadhttps://github.com/DrJavaAtRice/drjava/commits/dev-functional-java/
Reloadhttps://github.com/DrJavaAtRice/drjava/commits/dev-functional-java/
Reloadhttps://github.com/DrJavaAtRice/drjava/commits/dev-functional-java/
DrJavaAtRice https://github.com/DrJavaAtRice
drjavahttps://github.com/DrJavaAtRice/drjava
Notifications https://github.com/login?return_to=%2FDrJavaAtRice%2Fdrjava
Fork 31 https://github.com/login?return_to=%2FDrJavaAtRice%2Fdrjava
Star 23 https://github.com/login?return_to=%2FDrJavaAtRice%2Fdrjava
Code https://github.com/DrJavaAtRice/drjava/tree/dev-functional-java
Issues 8 https://github.com/DrJavaAtRice/drjava/issues
Pull requests 3 https://github.com/DrJavaAtRice/drjava/pulls
Actions https://github.com/DrJavaAtRice/drjava/actions
Projects 0 https://github.com/DrJavaAtRice/drjava/projects
Security Uh oh! There was an error while loading. Please reload this page. https://github.com/DrJavaAtRice/drjava/security
Please reload this pagehttps://github.com/DrJavaAtRice/drjava/commits/dev-functional-java/
Insights https://github.com/DrJavaAtRice/drjava/pulse
Code https://github.com/DrJavaAtRice/drjava/tree/dev-functional-java
Issues https://github.com/DrJavaAtRice/drjava/issues
Pull requests https://github.com/DrJavaAtRice/drjava/pulls
Actions https://github.com/DrJavaAtRice/drjava/actions
Projects https://github.com/DrJavaAtRice/drjava/projects
Security https://github.com/DrJavaAtRice/drjava/security
Insights https://github.com/DrJavaAtRice/drjava/pulse
Committing jar files in lib involved in current build that I erroneously omitted from preceding commit.https://github.com/DrJavaAtRice/drjava/commit/3283654978ebd8bc11bf7759f7d5627d12377fec
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
3283654https://github.com/DrJavaAtRice/drjava/commit/3283654978ebd8bc11bf7759f7d5627d12377fec
https://github.com/DrJavaAtRice/drjava/tree/3283654978ebd8bc11bf7759f7d5627d12377fec
Updating my local repository to reflect what I think is the subset of my current drjava file tree involved in the current local build.https://github.com/DrJavaAtRice/drjava/commit/3b02cfacceedaecf351b7e10c25e208b27e31277
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
3b02cfahttps://github.com/DrJavaAtRice/drjava/commit/3b02cfacceedaecf351b7e10c25e208b27e31277
https://github.com/DrJavaAtRice/drjava/tree/3b02cfacceedaecf351b7e10c25e208b27e31277
Modest cleanup of code base that removes references to .djapp files, which are no longer supported.https://github.com/DrJavaAtRice/drjava/commit/158033081d5e269a2fd321d9872f1c5197f545a1
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
1580330https://github.com/DrJavaAtRice/drjava/commit/158033081d5e269a2fd321d9872f1c5197f545a1
https://github.com/DrJavaAtRice/drjava/tree/158033081d5e269a2fd321d9872f1c5197f545a1
Tiny bug fixeshttps://github.com/DrJavaAtRice/drjava/commit/20d96c479bc2e6d6b66fc2bf0010300e35099a8d
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
20d96c4https://github.com/DrJavaAtRice/drjava/commit/20d96c479bc2e6d6b66fc2bf0010300e35099a8d
https://github.com/DrJavaAtRice/drjava/tree/20d96c479bc2e6d6b66fc2bf0010300e35099a8d
Modified "Reset Interactions" popup action to include clearing the console.https://github.com/DrJavaAtRice/drjava/commit/c34b07d5f6c259c85ef03f77e13f5ece307a5855
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
c34b07dhttps://github.com/DrJavaAtRice/drjava/commit/c34b07d5f6c259c85ef03f77e13f5ece307a5855
https://github.com/DrJavaAtRice/drjava/tree/c34b07d5f6c259c85ef03f77e13f5ece307a5855
Minor patches addressing bugs and updated external libraries.https://github.com/DrJavaAtRice/drjava/commit/fdaa3c1e9f6744e04411cb4f829cdd52b461005a
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
fdaa3c1https://github.com/DrJavaAtRice/drjava/commit/fdaa3c1e9f6744e04411cb4f829cdd52b461005a
https://github.com/DrJavaAtRice/drjava/tree/fdaa3c1e9f6744e04411cb4f829cdd52b461005a
This commit is an attempt to address the fact that the lib directory had "buildlib" in its .gitignore file but the version number for the jacoco files in buildlib must match the version in lib so t…https://github.com/DrJavaAtRice/drjava/commit/445c0b0e43b8109db53def3ad6eaa28a603135cb
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
445c0b0https://github.com/DrJavaAtRice/drjava/commit/445c0b0e43b8109db53def3ad6eaa28a603135cb
https://github.com/DrJavaAtRice/drjava/tree/445c0b0e43b8109db53def3ad6eaa28a603135cb
This commit only adds hamcrest-core-1.3.jar to the jar files in lib. It has beenhttps://github.com/DrJavaAtRice/drjava/commit/c8029cae0bd17c91e17e244956d9d19c5c0cc065
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
c8029cahttps://github.com/DrJavaAtRice/drjava/commit/c8029cae0bd17c91e17e244956d9d19c5c0cc065
https://github.com/DrJavaAtRice/drjava/tree/c8029cae0bd17c91e17e244956d9d19c5c0cc065
This revision simply adds jacocoant.jar to drjava/lib/buildlib; it is required to build DrJava and is installed on my principal development machine.https://github.com/DrJavaAtRice/drjava/commit/633014073d532977616ab2c2ffa02000222edfbf
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
6330140https://github.com/DrJavaAtRice/drjava/commit/633014073d532977616ab2c2ffa02000222edfbf
https://github.com/DrJavaAtRice/drjava/tree/633014073d532977616ab2c2ffa02000222edfbf
This revision updates the jar files for java 8 tools (javac, javadoc), asm, and jacoco so that they are consistent and compatible with Java Open JDK 8. It also patches some bugs in buid.xml.https://github.com/DrJavaAtRice/drjava/commit/79e1969c2c54c56e9a8262ecae68692514d06d6b
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
79e1969https://github.com/DrJavaAtRice/drjava/commit/79e1969c2c54c56e9a8262ecae68692514d06d6b
https://github.com/DrJavaAtRice/drjava/tree/79e1969c2c54c56e9a8262ecae68692514d06d6b
This revision comments out two testDancingUI... methods inhttps://github.com/DrJavaAtRice/drjava/commit/7e72720fdce7ee9f3ef65f7a4ef4fe40cdd895a4
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
7e72720https://github.com/DrJavaAtRice/drjava/commit/7e72720fdce7ee9f3ef65f7a4ef4fe40cdd895a4
https://github.com/DrJavaAtRice/drjava/tree/7e72720fdce7ee9f3ef65f7a4ef4fe40cdd895a4
This revision updates tools.jar to the version in OpenJDK8 222.https://github.com/DrJavaAtRice/drjava/commit/f1547df8b344db8f614027da42989b6b76fc2d9e
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
f1547dfhttps://github.com/DrJavaAtRice/drjava/commit/f1547df8b344db8f614027da42989b6b76fc2d9e
https://github.com/DrJavaAtRice/drjava/tree/f1547df8b344db8f614027da42989b6b76fc2d9e
This revision makes massive syntactic changes (copyright blocks in nearly every file) and minor semantic updates to incorporate the Java OpenJDK 8 tools.jar library in drjava.jar so DrJava can acce…https://github.com/DrJavaAtRice/drjava/commit/5d505403a47aba037bd74b8b2e71bd2fca72b272
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
5d50540https://github.com/DrJavaAtRice/drjava/commit/5d505403a47aba037bd74b8b2e71bd2fca72b272
https://github.com/DrJavaAtRice/drjava/tree/5d505403a47aba037bd74b8b2e71bd2fca72b272
This revision adds a few new unit tests and slightly cleans up codehttps://github.com/DrJavaAtRice/drjava/commit/63981b1e9f24e4d5ffc0d80939587b5ea25343e8
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
63981b1https://github.com/DrJavaAtRice/drjava/commit/63981b1e9f24e4d5ffc0d80939587b5ea25343e8
https://github.com/DrJavaAtRice/drjava/tree/63981b1e9f24e4d5ffc0d80939587b5ea25343e8
This revision consists of a tiny change to the .gitignore file for dynamicjava.https://github.com/DrJavaAtRice/drjava/commit/ea250098cad59fb06050230481369ba6304ff8ac
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
ea25009https://github.com/DrJavaAtRice/drjava/commit/ea250098cad59fb06050230481369ba6304ff8ac
https://github.com/DrJavaAtRice/drjava/tree/ea250098cad59fb06050230481369ba6304ff8ac
This revision simply cleans up the .gitignore files in the repository so that auto-generated Java source is not archived.https://github.com/DrJavaAtRice/drjava/commit/e41c5e1e5005772dd7a67ccb3320eeeb06d69140
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
e41c5e1https://github.com/DrJavaAtRice/drjava/commit/e41c5e1e5005772dd7a67ccb3320eeeb06d69140
https://github.com/DrJavaAtRice/drjava/tree/e41c5e1e5005772dd7a67ccb3320eeeb06d69140
This small revision changes the focus to the find field if a find allhttps://github.com/DrJavaAtRice/drjava/commit/5a00cfe2e7f493e25deaf4d6619d69b24fe3bc11
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
5a00cfehttps://github.com/DrJavaAtRice/drjava/commit/5a00cfe2e7f493e25deaf4d6619d69b24fe3bc11
https://github.com/DrJavaAtRice/drjava/tree/5a00cfe2e7f493e25deaf4d6619d69b24fe3bc11
This revision reverts the superclass of test classes with no assertXXX orhttps://github.com/DrJavaAtRice/drjava/commit/ed17cbaef63890495a2d72b97e019c5641a43834
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
ed17cbahttps://github.com/DrJavaAtRice/drjava/commit/ed17cbaef63890495a2d72b97e019c5641a43834
https://github.com/DrJavaAtRice/drjava/tree/ed17cbaef63890495a2d72b97e019c5641a43834
This revision makes essentially all DrJava test case classes inherithttps://github.com/DrJavaAtRice/drjava/commit/9d7e7b5d10838959b2d93eec7efc475beccacb88
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
9d7e7b5https://github.com/DrJavaAtRice/drjava/commit/9d7e7b5d10838959b2d93eec7efc475beccacb88
https://github.com/DrJavaAtRice/drjava/tree/9d7e7b5d10838959b2d93eec7efc475beccacb88
This revision consists of a simplified build.xml file and an expandedhttps://github.com/DrJavaAtRice/drjava/commit/046954c0a351319dfdf59a29b3a686c4fab63ebe
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
046954chttps://github.com/DrJavaAtRice/drjava/commit/046954c0a351319dfdf59a29b3a686c4fab63ebe
https://github.com/DrJavaAtRice/drjava/tree/046954c0a351319dfdf59a29b3a686c4fab63ebe
This revision is an attempt to eliminate all references to conc*.jarhttps://github.com/DrJavaAtRice/drjava/commit/a8ce48b39fc94078b01913ed8eb1d5cc1dff7007
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
a8ce48bhttps://github.com/DrJavaAtRice/drjava/commit/a8ce48b39fc94078b01913ed8eb1d5cc1dff7007
https://github.com/DrJavaAtRice/drjava/tree/a8ce48b39fc94078b01913ed8eb1d5cc1dff7007
This revision is yet another attempt at fixing the bug in global replacement. Iam optimistic that this fix will work because it reverses a side effect thathttps://github.com/DrJavaAtRice/drjava/commit/524c8406d26d20beffcbf52e9621d435f202cb36
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
524c840https://github.com/DrJavaAtRice/drjava/commit/524c8406d26d20beffcbf52e9621d435f202cb36
https://github.com/DrJavaAtRice/drjava/tree/524c8406d26d20beffcbf52e9621d435f202cb36
This revision apparently fixes a subtle bug in the "Replace All" operation. I carefully rewrote the code for _replaceAll in FindReplacePanel following the code for _findAll which does not suffer f…https://github.com/DrJavaAtRice/drjava/commit/18f9a35f9010b9be5b5bf7e9eb90be800f4e6138
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
18f9a35https://github.com/DrJavaAtRice/drjava/commit/18f9a35f9010b9be5b5bf7e9eb90be800f4e6138
https://github.com/DrJavaAtRice/drjava/tree/18f9a35f9010b9be5b5bf7e9eb90be800f4e6138
Trivial update: some added logging code and reformattinghttps://github.com/DrJavaAtRice/drjava/commit/0860366be94a52df7f0a7c191ca0a5509ee40a8d
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
0860366https://github.com/DrJavaAtRice/drjava/commit/0860366be94a52df7f0a7c191ca0a5509ee40a8d
https://github.com/DrJavaAtRice/drjava/tree/0860366be94a52df7f0a7c191ca0a5509ee40a8d
Fixes file names in new Log(...) including /home/corkhttps://github.com/DrJavaAtRice/drjava/commit/bd92757c65d0cf68232dc2b9a81d334225b0cc75
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
bd92757https://github.com/DrJavaAtRice/drjava/commit/bd92757c65d0cf68232dc2b9a81d334225b0cc75
https://github.com/DrJavaAtRice/drjava/tree/bd92757c65d0cf68232dc2b9a81d334225b0cc75
This revision fixes a glitch in findAll that I recently introduced.https://github.com/DrJavaAtRice/drjava/commit/0d5bbb060493cc0851181ae8d0adbedc3966d86a
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
0d5bbb0https://github.com/DrJavaAtRice/drjava/commit/0d5bbb060493cc0851181ae8d0adbedc3966d86a
https://github.com/DrJavaAtRice/drjava/tree/0d5bbb060493cc0851181ae8d0adbedc3966d86a
Merge pull request #6 from hjmjohnson/UpdateReadmeToMDhttps://github.com/DrJavaAtRice/drjava/commit/4d07a601d5476625d99308f6dfc1d3e4b019899f
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
4d07a60https://github.com/DrJavaAtRice/drjava/commit/4d07a601d5476625d99308f6dfc1d3e4b019899f
https://github.com/DrJavaAtRice/drjava/tree/4d07a601d5476625d99308f6dfc1d3e4b019899f
Merge pull request #8 from elsaturnino/masterhttps://github.com/DrJavaAtRice/drjava/commit/9a05c298df3635958d04aeced8a57ddace90fff9
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
9a05c29https://github.com/DrJavaAtRice/drjava/commit/9a05c298df3635958d04aeced8a57ddace90fff9
https://github.com/DrJavaAtRice/drjava/tree/9a05c298df3635958d04aeced8a57ddace90fff9
This revision cleans up the changes to FindReplace classes made in thehttps://github.com/DrJavaAtRice/drjava/commit/86ebec4e182775879c9ddeadd3b981adf7604780
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
86ebec4https://github.com/DrJavaAtRice/drjava/commit/86ebec4e182775879c9ddeadd3b981adf7604780
https://github.com/DrJavaAtRice/drjava/tree/86ebec4e182775879c9ddeadd3b981adf7604780
This revision patches am embarrassing bug in the ReplaceAll commandhttps://github.com/DrJavaAtRice/drjava/commit/7c0ce63eeb3da05c10e46e6ebf0fa3422fcc0ad5
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
7c0ce63https://github.com/DrJavaAtRice/drjava/commit/7c0ce63eeb3da05c10e46e6ebf0fa3422fcc0ad5
https://github.com/DrJavaAtRice/drjava/tree/7c0ce63eeb3da05c10e46e6ebf0fa3422fcc0ad5
Oops! The prior commit contained a type error (the typing of the WeakPointerhttps://github.com/DrJavaAtRice/drjava/commit/64434979799c08884abc51e4250487ea087754ac
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
6443497https://github.com/DrJavaAtRice/drjava/commit/64434979799c08884abc51e4250487ea087754ac
https://github.com/DrJavaAtRice/drjava/tree/64434979799c08884abc51e4250487ea087754ac
This revision fixes an insidious "Heisenbug" in DefinitionsDocument, where wr.get() for a WeakReference wr is executed a second time after being tested for non-null. Of course, the second referenc…https://github.com/DrJavaAtRice/drjava/commit/4a84b7dd2f805ac34fd40fc7320767e16dbcb144
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
4a84b7dhttps://github.com/DrJavaAtRice/drjava/commit/4a84b7dd2f805ac34fd40fc7320767e16dbcb144
https://github.com/DrJavaAtRice/drjava/tree/4a84b7dd2f805ac34fd40fc7320767e16dbcb144
This revision updates the jacoco library files.https://github.com/DrJavaAtRice/drjava/commit/0152353442e2d88f74ccdf437cab8205661b9bbe
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
0152353https://github.com/DrJavaAtRice/drjava/commit/0152353442e2d88f74ccdf437cab8205661b9bbe
https://github.com/DrJavaAtRice/drjava/tree/0152353442e2d88f74ccdf437cab8205661b9bbe
This revision apparently fixes a bug in the global replace commandhttps://github.com/DrJavaAtRice/drjava/commit/6bff7c559cb2ea4743d9a30ab68d453f436a6d3b
https://github.com/ponderosaTX
ponderosaTXhttps://github.com/DrJavaAtRice/drjava/commits?author=ponderosaTX
6bff7c5https://github.com/DrJavaAtRice/drjava/commit/6bff7c559cb2ea4743d9a30ab68d453f436a6d3b
https://github.com/DrJavaAtRice/drjava/tree/6bff7c559cb2ea4743d9a30ab68d453f436a6d3b
mac app builds using oracle's appbuilder, making it more suitable for a post-AppleJava 1.6 worldhttps://github.com/DrJavaAtRice/drjava/commit/33ca15656bb9c35530fe79ec33fab022d2cce70f
https://github.com/SatGarcia
SatGarciahttps://github.com/DrJavaAtRice/drjava/commits?author=SatGarcia
33ca156https://github.com/DrJavaAtRice/drjava/commit/33ca15656bb9c35530fe79ec33fab022d2cce70f
https://github.com/DrJavaAtRice/drjava/tree/33ca15656bb9c35530fe79ec33fab022d2cce70f
Previoushttps://github.com/DrJavaAtRice/drjava/commits/dev-functional-java?before=3283654978ebd8bc11bf7759f7d5627d12377fec+0
Nexthttps://github.com/DrJavaAtRice/drjava/commits/dev-functional-java?after=3283654978ebd8bc11bf7759f7d5627d12377fec+34
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.